Ciaran McCreesh

发表

Heuristics and Really Hard Instances for Subgraph Isomorphism Problems

Ciaran McCreesh, Patrick Prosser, James Trimble, 2016, IJCAI.

Greedy Graph Colouring is a Misleading Heuristic pdf

Ciaran McCreesh, Patrick Prosser, 2013, ArXiv.

A review of literature on parallel constraint solving pdf

Ciaran McCreesh, Patrick Prosser, Ian P. Gent, 2018, Theory and Practice of Logic Programming.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Ciaran McCreesh, Patrick Prosser, James Trimble, 2019, Lecture Notes in Computer Science.

Understanding the Empirical Hardness of Random Optimisation Problems

Ciaran McCreesh, Patrick Prosser, William Pettersson, 2019, CP.

On Maximum Weight Clique Algorithms, and How They Are Evaluated

Ciaran McCreesh, Patrick Prosser, James Trimble, 2017, CP.

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

Lars Kotthoff, Ciaran McCreesh, Tristan Henderson, 2014, ArXiv.

Subgraph Isomorphism Meets Cutting Planes: Solving with Certified Solutions

Ciaran McCreesh, Jakob Nordström, Stephan Gocht, 2020, IJCAI 2020.

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

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2014, CP.

Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms

Christine Solnon, Ciaran McCreesh, Patrick Prosser, 2018, CPAIOR.

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

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2014, CPAIOR.

Task Variant Allocation in Distributed Robotics

Jeremy Singer, Ciaran McCreesh, Patrick Prosser, 2016, Robotics: Science and Systems.

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

Christine Solnon, Ciaran McCreesh, Patrick Prosser, 2018, J. Artif. Intell. Res..

A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2015, CP.

Solving the task variant allocation problem in distributed robotics

Jeremy Singer, Ciaran McCreesh, Anna Lito Michala, 2018, Autonomous Robots.

Finding Maximum k-Cliques Faster Using Lazy Global Domination

Ciaran McCreesh, Patrick Prosser, 2016, SOCS.

Solving Hard Subgraph Problems in Parallel

Ciaran McCreesh, 2016, IJCAI.

Replicable parallel branch and bound search pdf

Patrick Maier, Robert J. Stewart, Ciaran McCreesh, 2017, J. Parallel Distributed Comput..

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

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2014, ACM Trans. Parallel Comput..

Between Subgraph Isomorphism and Maximum Common Subgraph

Ciaran McCreesh, Ruth Hoffmann, Craig Reilly, 2017, AAAI.

Case Studies and Challenges in Reproducibility in the Computational Sciences

Lars Kotthoff, Miguel A. Nacenta, Ciaran McCreesh, 2014, 1408.2123.

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

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2013, Algorithms.

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

Ciaran McCreesh, Patrick Prosser, 2015, Optim. Lett..

Distributing an Exact Algorithm for Maximum Clique: maximising the costup pdf

Ciaran McCreesh, Patrick Prosser, Patrick Prosser, 2012, ArXiv.

Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists

Craig MacDonald, Ciaran McCreesh, Patrick Prosser, 2015, CP.

Justifying All Differences Using Pseudo-Boolean Reasoning

Ciaran McCreesh, Jakob Nordström, Jan Elffers, 2020, AAAI.

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

Christine Solnon, Ciaran McCreesh, Patrick Prosser, 2016, CP.

Morphing Between Stable Matching Problems

Ciaran McCreesh, Patrick Prosser, James Trimble, 2016, CP.

Sequential and Parallel Solution-Biased Search for Subgraph Algorithms

Ciaran McCreesh, Patrick Prosser, James Trimble, 2019, CPAIOR.

Portfolios of Subgraph Isomorphism Algorithms

Christine Solnon, Lars Kotthoff, Ciaran McCreesh, 2016, LION.

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

Ciaran McCreesh, Patrick Prosser, James Trimble, 2020, ICGT.

Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions

Ciaran McCreesh, Jakob Nordström, Stephan Gocht, 2020, IJCAI.

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

Ciaran McCreesh, Patrick Prosser, James Trimble, 2020, CP.

A Partitioning Algorithm for Maximum Common Subgraph Problems

Ciaran McCreesh, Patrick Prosser, James Trimble, 2017, IJCAI.

Complications for Computational Experiments from Modern Processors

Ciaran McCreesh, Johannes Klaus Fichte, Markus Hecher, 2021, CP.

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

Ciaran McCreesh, Sonja Kraiczy, Sonja Kraiczy, 2021, IJCAI.

Finding Subgraphs with Side Constraints

Steffen Zschaler, Jessica Enright, Ciaran McCreesh, 2021, CPAIOR.

Practical Bigraphs via Subgraph Isomorphism

Michele Sevegnani, Ciaran McCreesh, Blair Archibald, 2021, CP.

A Partitioning Algorithm for Maximum Common Subgraph Problems

Ciaran McCreesh, Patrick Prosser, James Trimble, 2017, IJCAI 2017.