C. Duggan, Z. Li, C. Bright, and V. Ganesh, “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”, AAAI, vol. 38, no. 21, pp. 23480-23481, Mar. 2024.