Ciaran McCreesh
12 papers · 2016–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🧬 Topic Evolution
🏆
Keyword Champion
(6)
🧭
Keyword Pioneer
💎
Century Club · Bronze
Top co-authors
Research topics
Keywords
constraint programming
(6)
proof logging
(5)
combinatorial optimization
(3)
subgraph isomorphism
(3)
formal verification
(2)
cutting plane
(2)
maximum clique
(2)
sat solver
(2)
symmetry breaking
(2)
sat solving
(1)
task allocation
(1)
alldifferent constraint
(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)
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
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems
IJCAI 2016
Solving Hard Subgraph Problems in Parallel
IJCAI 2016
Task Variant Allocation in Distributed Robotics
RSS 2016