Ciaran McCreesh

54 papers A* 12A 13B 6Journal 19Unranked 4

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