A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems

Abstract : MiniZinc is a solver-independent constraint modeling language which is increasingly used in the constraint programming community. It can be used to compare different solvers which are currently based on either Constraint Programming, Boolean satisfiability, Mixed Integer Linear Programming, and recently Local Search. In this paper we present a stochastic continuous optimization backend for MiniZinc models over real numbers. More specifically, we describe the translation of FlatZinc models into objective functions over the reals, and their use as fitness functions for the Covariance Matrix Adaptation Evolution Strategy (CMA-ES) solver. We illustrate this approach with the declarative modeling and solving of hard geometrical placement problems, motivated by packing applications in logistics involving mixed square-curved shapes and complex shapes defined by Bézier curves.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01378468
Contributor : Sylvain Soliman <>
Submitted on : Wednesday, November 30, 2016 - 11:43:16 AM
Last modification on : Saturday, February 18, 2017 - 1:14:49 AM
Long-term archiving on : Monday, March 27, 2017 - 9:00:03 AM

File

MFA16cpaior.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Thierry Martinez, François Fages, Abder Aggoun. A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR'16, May 2016, Banff, Canada. pp.262-278, ⟨10.1007/978-3-319-33954-2_19⟩. ⟨hal-01378468⟩

Share

Metrics

Record views

300

Files downloads

329