( en | de | ru )

 

Disambiguation of "McCreesh, Ciaran"

Author of the publication

copydeleteadd this publication to your clipboard
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants.

, , and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 316-324. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ciarán Nicholl

Ciaran Toal

Ciaran Wills

Ciaran O'Reilly

 

Other publications of authors with the same name

The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants., , and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 316-324. Springer, (2020)Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems., , , , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 338-357. Springer, (2020)Distributing an Exact Algorithm for Maximum Clique: maximising the costup, and . CoRR, (2012)Sequential and Parallel Solution-Biased Search for Subgraph Algorithms., , , , , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 20-38. Springer, (2019)A Partitioning Algorithm for Maximum Common Subgraph Problems., , and . IJCAI, page 712-719. ijcai.org, (2017)Task Variant Allocation in Distributed Robotics., , , , , , and . Robotics: Science and Systems, (2016)An Auditable Constraint Programming Solver., , and . CP, volume 235 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound., and . CoRR, (2014)On Maximum Weight Clique Algorithms, and How They Are Evaluated., , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 206-225. Springer, (2017)A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs., and . CP, volume 9255 of Lecture Notes in Computer Science, page 295-312. Springer, (2015)