Author of the publication

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.

 

Other publications of authors with the same name

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)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)A Partitioning Algorithm for Maximum Common Subgraph Problems., , and . IJCAI, page 712-719. ijcai.org, (2017)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)An Auditable Constraint Programming Solver., , and . CP, volume 235 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Task Variant Allocation in Distributed Robotics., , , , , , and . Robotics: Science and Systems, (2016)The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound., and . CoRR, (2014)An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem., and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 226-234. Springer, (2014)A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs., and . CP, volume 9255 of Lecture Notes in Computer Science, page 295-312. Springer, (2015)