Autor der Publikation

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

Morphing Between Stable Matching Problems., , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 832-840. Springer, (2016)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)Proof Logging for the Circuit Constraint., , und . CPAIOR (2), Volume 14743 von Lecture Notes in Computer Science, Seite 38-55. Springer, (2024)Certified Symmetry and Dominance Breaking for Combinatorial Optimisation., , , und . CoRR, (2022)Greedy Graph Colouring is a Misleading Heuristic., und . CoRR, (2013)Understanding the Empirical Hardness of Random Optimisation Problems., , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 333-349. Springer, (2019)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)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)