Author of the publication

Solving Satisfaction Problems Using Large-Neighbourhood Search.

, , , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 55-71. Springer, (2020)

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

Improved Linearization of Constraint Programming Models., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 49-65. Springer, (2016)Addressing Problem Drift in UNHCR Fund Allocation., , and . CP, volume 280 of LIPIcs, page 37:1-37:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Search Combinators., , , , and . CP, volume 6876 of Lecture Notes in Computer Science, page 774-788. Springer, (2011)Declarative Local-Search Neighbourhoods in MiniZinc., , , , and . ICTAI, page 98-105. IEEE, (2018)Globalizing constraint models., , , and . Artif. Intell., (2022)Explaining Propagation for Gini and Spread with Variable Mean., , , and . CP, volume 235 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles., , , and . CP, volume 210 of LIPIcs, page 11:1-11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The MiningZinc Framework for Constraint-Based Itemset Mining., , , , and . ICDM Workshops, page 1081-1084. IEEE Computer Society, (2013)Coupling Different Integer Encodings for SAT., , , , and . CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 44-63. Springer, (2022)Single Constant Multiplication for SAT., , , , and . CPAIOR (1), volume 14742 of Lecture Notes in Computer Science, page 84-98. Springer, (2024)