Propagation Engine Prototyping with a Domain Specific Language

Charles Prud'Homme 1 Xavier Lorca 1 Rémi Douence 2 Narendra Jussien 1
1 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Constraint propagation is at the heart of constraint solvers. Two main trends co-exist for its implementation: variable-oriented propagation engines and constraint-oriented propagation engines. Those two approaches ensure the same level of local consistency but their efficiency (computation time) can be quite different depending on the instance solved. However, it is usually accepted that there is no best approach in general, and modern constraint solvers implement only one. In this paper, we would like to go a step further providing a solver independent language at the modeling stage to enable the design of propagation engines. We validate our proposal with a reference implementation based on the Choco solver and the MiniZinc constraint modeling language.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00867604
Contributor : Xavier Lorca <>
Submitted on : Monday, September 30, 2013 - 11:48:26 AM
Last modification on : Wednesday, December 5, 2018 - 1:22:11 AM
Long-term archiving on : Friday, April 7, 2017 - 4:25:28 AM

File

cons2013_propeng.pdf
Files produced by the author(s)

Identifiers

Citation

Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien. Propagation Engine Prototyping with a Domain Specific Language. Constraints, Springer Verlag, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩. ⟨hal-00867604⟩

Share

Metrics

Record views

529

Files downloads

415