A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
MFA16cpaior.pdf (355.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01378468 , version 1 (30-11-2016)

Identifiants

Citer

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⟩
206 Consultations
373 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More