Popular repositories Loading
-
-
-
finite-zarankiewicz-closures
finite-zarankiewicz-closures PublicForked from dfield/finite-zarankiewicz-closures
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.
Linear Programming
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.