Reproducible proofs of eight exact finite Zarankiewicz numbers, including a complete DRAT/LRAT and exact SCIP/VIPR certificate for Z(10,23,3,3)=112, plus Z(13,23,3,3)≤144.
graph-theory formal-verification computer-assisted-proof extremal-combinatorics zarankiewicz-problem
-
Updated
Jul 15, 2026 - Linear Programming