A Parametric Propagator for Pairs of Sum Constraints with a Discrete Convexity Property

Jean-Noël Monette 1 Nicolas Beldiceanu 2, 3 Pierre Flener 1 Justin Pearson 1
3 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : We introduce a propagator for pairs of Sum constraints, where the expressions in the sums respect a form of convexity. This propagator is parametric and can be instantiated for various concrete pairs, including Deviation, Spread, and the conjunction of Linear ≤ and Among. We show that despite its generality , our propagator is competitive in theory and practice with state-of-the-art propagators.
Type de document :
Article dans une revue
Artificial Intelligence, Elsevier, 2016, 241, pp.170 - 190. 〈10.1016/j.artint.2016.08.006〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01374714
Contributeur : Contraintes Lina <>
Soumis le : vendredi 30 septembre 2016 - 21:25:17
Dernière modification le : mercredi 11 avril 2018 - 01:50:59
Document(s) archivé(s) le : samedi 31 décembre 2016 - 16:35:23

Fichier

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

Identifiants

Citation

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson. A Parametric Propagator for Pairs of Sum Constraints with a Discrete Convexity Property. Artificial Intelligence, Elsevier, 2016, 241, pp.170 - 190. 〈10.1016/j.artint.2016.08.006〉. 〈hal-01374714〉

Partager

Métriques

Consultations de la notice

274

Téléchargements de fichiers

49