Author of the publication

Morphing Between Stable Matching Problems.

, , and . CP, volume 9892 of Lecture Notes in Computer Science, page 832-840. Springer, (2016)

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 . CoRR, (2022)Proof Logging for the Circuit Constraint., , and . CPAIOR (2), volume 14743 of Lecture Notes in Computer Science, page 38-55. Springer, (2024)Greedy Graph Colouring is a Misleading Heuristic., and . CoRR, (2013)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)Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms., , , , , and . CP, volume 307 of LIPIcs, page 9:1-9:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Distributing an Exact Algorithm for Maximum Clique: maximising the costup, and . CoRR, (2012)A Partitioning Algorithm for Maximum Common Subgraph Problems., , and . IJCAI, page 712-719. ijcai.org, (2017)