Conor Duggan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | 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 |
| 2024 | AAAI | A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). | Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh |