C. Duggan, Li, Z. , Bright, C. , and Ganesh, V. , “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”, in Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-, 2024, pp. 23480–23481.