Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01374714
Contributor : Contraintes Lina Connect in order to contact the contributor
Submitted on : Friday, September 30, 2016 - 9:25:17 PM
Last modification on : Friday, July 10, 2020 - 8:10:04 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

572

Files downloads

440