PPaperPicks

Conor Duggan

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Frequent coauthors

Zhengyu Li
×2
Curtis Bright
×2
Vijay Ganesh
×2

Papers

  1. Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems
    IJCAI 2025 ·
    Zhengyu Li
    , Conor Duggan,
    Curtis Bright
    ,
    Vijay Ganesh
  2. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
    AAAI 2024 · Conor Duggan,
    Zhengyu Li
    ,
    Curtis Bright
    ,
    Vijay Ganesh