Owner
dfield
1 indexiertes Repository · Auf GitHub ansehen
-
finite-zarankiewicz-closures
Reproducible proofs of eight exact finite Zarankiewicz numbers, including a complete DRAT/LRAT and exact SCIP/VIPR certificate for Z(10,2...
Linear Programming · 0 Sterne
Issues werden geladen
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
dfield/finite-zarankiewicz-closures#2 · 1 Kommentar ·