Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.

Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh

Browse the full IJCAI paper archive.