加入
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
2026年10月21日 的提交
Start known-bounds
turing 2周前提交
e1abeec
turing 2周前提交File the problem in the catalog
turing 2周前提交
9d67a2d
turing 2周前提交State the problem (placeholder)
turing 2周前提交
93d2793
turing 2周前提交