Global propagation of side constraints for solving over-constrained problems

Thierry Petit 1 Emmanuel Poder 2
1 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These side constraints control how the initial constraints of the model should be satisfied or violated, to obtain solutions that have a practical interest. They are specific to each application. In our experiments, we show the superiority of a framework where side constraints are encoded by global constraints on new domain variables, which are directly included into the model. The case-study is a cumulative scheduling problem with over-loads. The objective is to minimize the total amount of over-loads. We augment the Cumulative global constraint of the constraint programming solver Choco with sweep and task interval violation-based algorithms. We provide a theoretical and experimental comparison of the two main approaches for encoding over-constrained problems with side constraints.
Type de document :
Article dans une revue
Annals of Operations Research, Springer Verlag, 2011, pp.20. 〈10.1007/s10479-010-0683-4〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00482014
Contributeur : Thierry Petit <>
Soumis le : lundi 26 novembre 2012 - 15:14:01
Dernière modification le : lundi 5 octobre 2015 - 16:57:04
Document(s) archivé(s) le : mercredi 27 février 2013 - 02:30:10

Fichier

AOR08new.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Thierry Petit, Emmanuel Poder. Global propagation of side constraints for solving over-constrained problems. Annals of Operations Research, Springer Verlag, 2011, pp.20. 〈10.1007/s10479-010-0683-4〉. 〈hal-00482014〉

Partager

Métriques

Consultations de la notice

317

Téléchargements de fichiers

133