On Constraint Linear Decompositions Using Mathematical Variables - IMT Atlantique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On Constraint Linear Decompositions Using Mathematical Variables

Résumé

A wide literature exists on constraint programming model linearization, based on integer domain decomposition. This paper considers the systematic study of classical global constraints, but in the context of mathematical variables. We consider constraints originally stated using integer domain variables, for which we investigate new definitions and linear decomposi-tions using bounded rational variables. We introduce a generic scheme for reification and softening. Combined with state-of-the-art decompositions on integer variables, this approach permits solving discrete-continuous high level models using a single modeler, connected to a MILP solver. (BEST PAPER AWARD)
Fichier principal
Vignette du fichier
PID5026459.pdf (307.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01686540 , version 1 (17-01-2018)

Identifiants

Citer

Thierry Petit. On Constraint Linear Decompositions Using Mathematical Variables. ICTAI 2017 : IEEE 29th International Conference on Tools with Artificial Intelligence, Nov 2017, Boston, United States. pp.123-130, ⟨10.1109/ICTAI.2017.00030⟩. ⟨hal-01686540⟩
93 Consultations
292 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More