Author of the publication

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.

, , , and . AAAI, page 8065-8072. AAAI Press, (2024)

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

Globalizing constraint models., , , and . Artif. Intell., (2022)Core-Guided Model Reformulation., , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 445-461. Springer, (2020)Making the Most of Structure in Constraint Models.. Monash University, Australia, (2017)DASH: Dynamic Approach for Switching Heuristics., , , and . Eur. J. Oper. Res., 248 (3): 943-953 (2016)DASH: Dynamic Approach for Switching Heuristics., , , and . CoRR, (2013)Debugging Unsatisfiable Constraint Models., and . CPAIOR, volume 10335 of Lecture Notes in Computer Science, page 77-93. Springer, (2017)Multi-Pass High-Level Presolving., and . IJCAI, page 346-352. AAAI Press, (2015)Human-centred feasibility restoration in practice., , , , , , , and . Constraints An Int. J., 28 (2): 203-243 (2023)Human-Centred Feasibility Restoration., , , , , , , and . CP, volume 210 of LIPIcs, page 49:1-49:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)MiniZinc., , , , , , and . (February 2024)