A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).

Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

Browse the full AAAI paper archive.