Conor Duggan

According to our database¹, Conor Duggan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.

[BibT_eX]

[DOI]

CoRR, February, 2025

2024

A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024