Duggan, Conor

2 publications

IJCAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh