Chủ sở hữu
dfield
Đã lập chỉ mục 1 kho mã nguồn · Xem trên 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
Đang tải issue
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
dfield/finite-zarankiewicz-closures#2 · 1 bình luận ·