Ciaran McCreesh

According to our database, Ciaran McCreesh authored at least 44 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Proof Logging for Smart Extensional Constraints (Extended Abstract).

Matthew J. McIlree, Ciaran McCreesh

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Proof Logging for the Circuit Constraint.

Matthew J. McIlree, Ciaran McCreesh, Jakob Nordström

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.

Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

End-to-End Verification for Subgraph Solving.

Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

J. Artif. Intell. Res., 2023

Report on BCTCS 2023.

Ciaran McCreesh

Bull. EATCS, 2023

Proof Logging for Smart Extensional Constraints.

Matthew J. McIlree, Ciaran McCreesh

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

An Auditable Constraint Programming Solver.

Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation.

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

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

Sonja Kraiczy, Ciaran McCreesh

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Finding Subgraphs with Side Constraints.

Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

Complications for Computational Experiments from Modern Processors.

Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Practical Bigraphs via Subgraph Isomorphism.

Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions.

Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants.

Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Graph Transformation - 13th International Conference, 2020

Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems.

Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble

Proceedings of the Principles and Practice of Constraint Programming, 2020

Justifying All Differences Using Pseudo-Boolean Reasoning.

Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Sequential and Parallel Solution-Biased Search for Subgraph Algorithms.

Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Understanding the Empirical Hardness of Random Optimisation Problems.

Ciaran McCreesh, William Pettersson, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

A review of literature on parallel constraint solving.

Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth

Theory Pract. Log. Program., 2018

Replicable parallel branch and bound search.

Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder

J. Parallel Distributed Comput., 2018

When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases.

Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble

J. Artif. Intell. Res., 2018

Solving the task variant allocation problem in distributed robotics.

José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Anna Lito Michala, Jeremy Singer, Vijay Nagarajan

Auton. Robots, 2018

Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms.

Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017

A Partitioning Algorithm for Maximum Common Subgraph Problems.

Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Maximum Weight Clique Algorithms, and How They Are Evaluated.

Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble

Proceedings of the Principles and Practice of Constraint Programming, 2017

Between Subgraph Isomorphism and Maximum Common Subgraph.

Ruth Hoffmann, Ciaran McCreesh, Craig Reilly

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Finding Maximum k-Cliques Faster Using Lazy Global Domination.

Ciaran McCreesh, Patrick Prosser

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Task Variant Allocation in Distributed Robotics.

José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Patrick Prosser, Jeremy Singer, Vijay Nagarajan

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Portfolios of Subgraph Isomorphism Algorithms.

Lars Kotthoff, Ciaran McCreesh, Christine Solnon

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Heuristics and Really Hard Instances for Subgraph Isomorphism Problems.

Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Solving Hard Subgraph Problems in Parallel.

Ciaran McCreesh

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Morphing Between Stable Matching Problems.

Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Principles and Practice of Constraint Programming, 2016

Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems.

Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound.

Ciaran McCreesh, Patrick Prosser

ACM Trans. Parallel Comput., 2015

A parallel branch and bound algorithm for the maximum labelled clique problem.

Ciaran McCreesh, Patrick Prosser

Optim. Lett., 2015

A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs.

Ciaran McCreesh, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2015

Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists.

Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.

Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen

CoRR, 2014

An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem.

Ciaran McCreesh, Patrick Prosser

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem.

Ciaran McCreesh, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Greedy Graph Colouring is a Misleading Heuristic.

Ciaran McCreesh, Patrick Prosser

CoRR, 2013

Multi-Threading a State-of-the-Art Maximum Clique Algorithm.

Ciaran McCreesh, Patrick Prosser

Algorithms, 2013

2012

Distributing an Exact Algorithm for Maximum Clique: maximising the costup

Ciaran McCreesh, Patrick Prosser

CoRR, 2012