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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01374714
Contributor : Contraintes Lina <>
Submitted on : Friday, September 30, 2016 - 9:25:17 PM
Last modification on : Friday, June 22, 2018 - 9:29:24 AM
Long-term archiving on : Saturday, December 31, 2016 - 4:35:23 PM

File

AIJ16.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

463

Files downloads

205