Ciaran McCreesh
12 papers · 2016–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π§ 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
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