Duggan, C., Z. Li, C. Bright, and V. Ganesh. “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 21, Mar. 2024, pp. 23480-1, doi:10.1609/aaai.v38i21.30437.