Duggan, Conor, Zhengyu Li, Curtis Bright, and Vijay Ganesh. “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 21 (March 24, 2024): 23480-23481. Accessed November 15, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/30437.