( en | de | ru )

 

Disambiguierung von "McCreesh, Ciaran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem.

, und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 549-563. Springer, (2014)

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

Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem., und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 549-563. Springer, (2014)Morphing Between Stable Matching Problems., , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 832-840. Springer, (2016)Certified Symmetry and Dominance Breaking for Combinatorial Optimisation., , , und . AAAI, Seite 3698-3707. AAAI Press, (2022)Proof Logging for the Circuit Constraint., , und . CPAIOR (2), Volume 14743 von Lecture Notes in Computer Science, Seite 38-55. Springer, (2024)Understanding the Empirical Hardness of Random Optimisation Problems., , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 333-349. Springer, (2019)Greedy Graph Colouring is a Misleading Heuristic., und . CoRR, (2013)Complications for Computational Experiments from Modern Processors., , , und . CP, Volume 210 von LIPIcs, Seite 25:1-25:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms., , , , , und . CP, Volume 307 von LIPIcs, Seite 9:1-9:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)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)