Ciaran McCreesh

12 papers · 2016–2026 · 3 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (11) 🌍 Conference Polyglot (3) 🧬 Topic Evolution 🏆 Keyword Champion (6) 💎 Century Club (11)

Conferences

IJCAI (6) AAAI (5) RSS (1)

Top co-authors

Jakob Nordström (4) Stephan Gocht (4) Patrick Prosser (3) Yong Kiam Tan (2) Andy Oertel (2) Matthew J. McIlree (2) Magnus O. Myreen (2) James Trimble (2) Bart Bogaerts (2) Alejandro Bordallo (1)

Keywords

constraint programming (6) proof logging (5) subgraph isomorphism (3) combinatorial optimization (3) maximum clique (2) formal verification (2) symmetry breaking (2) sat solver (2) cutting plane (2) sat solving (1) task allocation (1) dominance breaking (1) graph homomorphism (1) maximum common subgraph (1) multi-agent system (1) bounds consistency (1) multiplication constraint (1) global constraint (1) pseudo-boolean reasoning (1) all-different constraint (1)

Papers

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 2026

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025

End-to-End Verification for Subgraph Solving AAAI 2024

Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022

Solving Graph Homomorphism and Subgraph Isomorphism Problems Faster Through Clique Neighbourhood Constraints IJCAI 2021

Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020

Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions IJCAI 2020

A Partitioning Algorithm for Maximum Common Subgraph Problems IJCAI 2017

Solving Hard Subgraph Problems in Parallel IJCAI 2016

Task Variant Allocation in Distributed Robotics RSS 2016

Heuristics and Really Hard Instances for Subgraph Isomorphism Problems IJCAI 2016