Author of the publication

Modelling with Option Types in MiniZinc.

, , , , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)

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

The MiniZinc Challenge 2008-2013., , , , and . AI Magazine, 35 (2): 55-60 (2014)Modelling with Option Types in MiniZinc., , , , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)Generating Propagators for Finite Set Constraints., , and . CP, volume 4204 of Lecture Notes in Computer Science, page 575-589. Springer, (2006)MiniZinc: Towards a Standard CP Modelling Language., , , , , and . CP, volume 4741 of Lecture Notes in Computer Science, page 529-543. Springer, (2007)A Novel Approach to String Constraint Solving., , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 3-20. Springer, (2017)View-Based Propagator Derivation - (Extended Abstract)., and . CP, volume 8656 of Lecture Notes in Computer Science, page 938-942. Springer, (2014)Towards Semi-Automatic Learning-Based Model Transformation., , , and . CP, volume 11008 of Lecture Notes in Computer Science, page 403-419. Springer, (2018)An Introduction to Search Combinators., , , , and . LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 2-16. Springer, (2012)Compositional Abstractions for Search Factories., and . MOZ, volume 3389 of Lecture Notes in Computer Science, page 211-223. Springer, (2004)Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy., , , , , , and . ICCS, volume 51 of Procedia Computer Science, page 914-923. Elsevier, (2015)