Ciaran McCreesh

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 36

Top Topics

Branch And Bound

Constraint Programming

Subgraph Isomorphism

Top Venues

Publications

Matthew J. McIlree, Ciaran McCreesh, Jakob Nordström
Proof Logging for the Circuit Constraint. CPAIOR (2) (2024)
Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan
End-to-End Verification for Subgraph Solving. AAAI (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation. J. Artif. Intell. Res. 77 (2023)
Ciaran McCreesh
Report on BCTCS 2023. Bull. EATCS 140 (2023)
Matthew J. McIlree, Ciaran McCreesh
Proof Logging for Smart Extensional Constraints. CP (2023)
Stephan Gocht, Ciaran McCreesh, Jakob Nordström
An Auditable Constraint Programming Solver. CP (2022)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. AAAI (2022)
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. CoRR (2022)
Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab
Complications for Computational Experiments from Modern Processors. CP (2021)
Sonja Kraiczy, Ciaran McCreesh
Solving Graph Homomorphism and Subgraph Isomorphism Problems Faster Through Clique Neighbourhood Constraints. IJCAI (2021)
Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani
Practical Bigraphs via Subgraph Isomorphism. CP (2021)
Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler
Finding Subgraphs with Side Constraints. CPAIOR (2021)
Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions. IJCAI (2020)
Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. CP (2020)
Ciaran McCreesh, Patrick Prosser, James Trimble
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. ICGT (2020)
Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Justifying All Differences Using Pseudo-Boolean Reasoning. AAAI (2020)
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR (2019)
Ciaran McCreesh, William Pettersson, Patrick Prosser
Understanding the Empirical Hardness of Random Optimisation Problems. CP (2019)
Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. J. Artif. Intell. Res. 61 (2018)
José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Anna Lito Michala, Jeremy Singer, Vijay Nagarajan
Solving the task variant allocation problem in distributed robotics. Auton. Robots 42 (7) (2018)
Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. CPAIOR (2018)
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113 (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Ciaran McCreesh, Patrick Prosser, James Trimble
A Partitioning Algorithm for Maximum Common Subgraph Problems. IJCAI (2017)
Ruth Hoffmann, Ciaran McCreesh, Craig Reilly
Between Subgraph Isomorphism and Maximum Common Subgraph. AAAI (2017)
Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble
On Maximum Weight Clique Algorithms, and How They Are Evaluated. CP (2017)
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
Replicable Parallel Branch and Bound Search. CoRR (2017)
Ciaran McCreesh, Patrick Prosser
Finding Maximum k-Cliques Faster Using Lazy Global Domination. SOCS (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. IJCAI (2016)
José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Patrick Prosser, Jeremy Singer, Vijay Nagarajan
Task Variant Allocation in Distributed Robotics. Robotics: Science and Systems (2016)
Lars Kotthoff, Ciaran McCreesh, Christine Solnon
Portfolios of Subgraph Isomorphism Algorithms. LION (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Morphing Between Stable Matching Problems. CP (2016)
Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. CP (2016)
Ciaran McCreesh
Solving Hard Subgraph Problems in Parallel. IJCAI (2016)
Ciaran McCreesh, Patrick Prosser
The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound. ACM Trans. Parallel Comput. 2 (1) (2015)
Ciaran McCreesh, Patrick Prosser
A parallel branch and bound algorithm for the maximum labelled clique problem. Optim. Lett. 9 (5) (2015)
Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. CP (2015)
Ciaran McCreesh, Patrick Prosser
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs. CP (2015)
Ciaran McCreesh, Patrick Prosser
Finding Maximum k-Cliques Faster using Lazy Global Domination. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem. CPAIOR (2014)
Ciaran McCreesh, Patrick Prosser
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. CP (2014)
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
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
Greedy Graph Colouring is a Misleading Heuristic. CoRR (2013)
Ciaran McCreesh, Patrick Prosser
Multi-Threading a State-of-the-Art Maximum Clique Algorithm. Algorithms 6 (4) (2013)
Ciaran McCreesh, Patrick Prosser
Distributing an Exact Algorithm for Maximum Clique: maximising the costup CoRR (2012)