( en | de | ru )

 

Disambiguierung von "McCreesh, Ciaran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Ciarán Nicholl

Ciaran Toal

Ciaran Wills

Ciaran O'Reilly

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)An Auditable Constraint Programming Solver., , und . CP, Volume 235 von LIPIcs, Seite 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Task Variant Allocation in Distributed Robotics., , , , , , und . Robotics: Science and Systems, (2016)A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs., und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 295-312. Springer, (2015)An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem., und . CPAIOR, Volume 8451 von Lecture Notes in Computer Science, Seite 226-234. Springer, (2014)On Maximum Weight Clique Algorithms, and How They Are Evaluated., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 206-225. Springer, (2017)