(1)
Duggan, C.; Li, Z.; Bright, C.; Ganesh, V. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). AAAI 2024, 38, 23480-23481.