A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). - Conor Duggan; Zhengyu Li 002; Curtis Bright; Vijay Ganesh 001 (AAAI, 2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. - Zhengyu Li 002; Conor Duggan; Curtis Bright; Vijay Ganesh 001 (CoRR, 2025)