加入
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)