PPaperPicks

Ciaran McCreesh

5 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3CP ×1IJCAI ×1

Frequent coauthors

Jakob Nordström
×3
Andy Oertel
×3
Yong Kiam Tan
×3
Magnus O. Myreen
×2
Matthew J. McIlree
×2
Markus Anders
×1
Bart Bogaerts
×1
Benjamin Bogø
×1
Arthur Gontier
×1
Wietze Koops
×1
Adrian Rebola-Pardo
×1
Stephan Gocht
×1

Papers

  1. Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
    AAAI 2026 ·
    Markus Anders
    ,
    Bart Bogaerts
    ,
    Benjamin Bogø
    ,
    Arthur Gontier
    ,
    Wietze Koops
    , Ciaran McCreesh,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Adrian Rebola-Pardo
    ,
    Yong Kiam Tan
  2. Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB
    CP 2026 · Ciaran McCreesh,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
  3. Certifying Bounds Propagation for Integer Multiplication Constraints
    AAAI 2025 ·
    Matthew J. McIlree
    , Ciaran McCreesh
  4. End-to-End Verification for Subgraph Solving
    AAAI 2024 ·
    Stephan Gocht
    , Ciaran McCreesh,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
  5. Proof Logging for Smart Extensional Constraints (Extended Abstract)
    IJCAI 2024 ·
    Matthew J. McIlree
    , Ciaran McCreesh