Owner
dfield
已索引 1 个仓库 · 在 GitHub 查看
-
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 个 star
-
难度 4/5 3-5 天 新手友好度 38/100
dfield/finite-zarankiewicz-closures#2 · 1 条评论 ·