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

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