Propagation Engine Prototyping with a Domain Specific Language - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Constraints Année : 2014

Propagation Engine Prototyping with a Domain Specific Language

Résumé

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.
Fichier principal
Vignette du fichier
cons2013_propeng.pdf (378.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00867604 , version 1 (30-09-2013)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More