Back to Search
Start Over
A parametric propagator for pairs of Sum constraints with a discrete convexity property
- Source :
- Artificial Intelligence, Artificial Intelligence, Elsevier, 2016, 241, pp.170-190. ⟨10.1016/j.artint.2016.08.006⟩, Artificial Intelligence, 2016, 241, pp.170-190. ⟨10.1016/j.artint.2016.08.006⟩
- Publication Year :
- 2016
- Publisher :
- Elsevier BV, 2016.
-
Abstract
- International audience; 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.
- Subjects :
- constraint programming
Linguistics and Language
Pure mathematics
Generality
discrete convexity
021103 operations research
Property (philosophy)
Mathematical analysis
0211 other engineering and technologies
Propagator
02 engineering and technology
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Language and Linguistics
Convexity
Artificial Intelligence
0202 electrical engineering, electronic engineering, information engineering
Constraint programming
020201 artificial intelligence & image processing
propagator
Parametric statistics
Mathematics
Subjects
Details
- ISSN :
- 00043702
- Volume :
- 241
- Database :
- OpenAIRE
- Journal :
- Artificial Intelligence
- Accession number :
- edsair.doi.dedup.....7cd8461a2e59bc472ed4984c0034783d
- Full Text :
- https://doi.org/10.1016/j.artint.2016.08.006