Author of the publication

A Novel Approach to String Constraint Solving.

, , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 3-20. Springer, (2017)

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

Increasing User Trust in Optimisation through Feedback and Interaction., , , and . ACM Trans. Comput. Hum. Interact., 29 (5): 42:1-42:34 (2022)Improved Linearization of Constraint Programming Models., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 49-65. Springer, (2016)Visual search tree profiling., , , and . Constraints An Int. J., 21 (1): 77-94 (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)Declarative Local-Search Neighbourhoods in MiniZinc., , , , and . ICTAI, page 98-105. IEEE, (2018)Search Combinators., , , , and . CP, volume 6876 of Lecture Notes in Computer Science, page 774-788. Springer, (2011)Globalizing constraint models., , , and . Artif. Intell., (2022)Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems., , , , and . CoRR, (2020)Coupling Different Integer Encodings for SAT., , , , and . CPAIOR, volume 13292 of Lecture Notes in Computer Science, page 44-63. Springer, (2022)The MiningZinc Framework for Constraint-Based Itemset Mining., , , , and . ICDM Workshops, page 1081-1084. IEEE Computer Society, (2013)