McCreesh, Ciaran

13 publications

AAAI 2025 Certifying Bounds Propagation for Integer Multiplication Constraints Matthew J. McIlree, Ciaran McCreesh

AAAI 2024 End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

IJCAI 2024 Proof Logging for Smart Extensional Constraints (Extended Abstract) Matthew J. McIlree, Ciaran McCreesh

JAIR 2023 Certified Dominance and Symmetry Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

AAAI 2022 Certified Symmetry and Dominance Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2021 Solving Graph Homomorphism and Subgraph Isomorphism Problems Faster Through Clique Neighbourhood Constraints Sonja Kraiczy, Ciaran McCreesh

AAAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2020 Subgraph Isomorphism Meets Cutting Planes: Solving with Certified Solutions Stephan Gocht, Ciaran McCreesh, Jakob Nordström

JAIR 2018 When Subgraph Isomorphism Is Really Hard, and Why This Matters for Graph Databases Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble

IJCAI 2017 A Partitioning Algorithm for Maximum Common Subgraph Problems Ciaran McCreesh, Patrick Prosser, James Trimble

AAAI 2017 Between Subgraph Isomorphism and Maximum Common Subgraph Ruth Hoffmann, Ciaran McCreesh, Craig Reilly

IJCAI 2016 Heuristics and Really Hard Instances for Subgraph Isomorphism Problems Ciaran McCreesh, Patrick Prosser, James Trimble

IJCAI 2016 Solving Hard Subgraph Problems in Parallel Ciaran McCreesh