Autor der Publikation

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

, , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 316-324. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributing an Exact Algorithm for Maximum Clique: maximising the costup, und . CoRR, (2012)Sequential and Parallel Solution-Biased Search for Subgraph Algorithms., , , , , und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2019)A Partitioning Algorithm for Maximum Common Subgraph Problems., , und . IJCAI, Seite 712-719. ijcai.org, (2017)Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems., , , , , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 338-357. Springer, (2020)The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants., , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 316-324. Springer, (2020)Task Variant Allocation in Distributed Robotics., , , , , , und . Robotics: Science and Systems, (2016)An Auditable Constraint Programming Solver., , und . CP, Volume 235 von LIPIcs, Seite 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Solving the task variant allocation problem in distributed robotics., , , , , , und . Auton. Robots, 42 (7): 1477-1495 (2018)The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound., und . CoRR, (2014)A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs., und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 295-312. Springer, (2015)