Prototyper des Moteurs de Propagation avec un DSL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Prototyper des Moteurs de Propagation avec un DSL

Résumé

Constraint propagation is at the heart of constraint solvers. Two main trends co-exist: variable-oriented propagation engines and constraint-oriented propagation engines. Those two approaches ensure the same consistency level, generally arc-consistency, but their efficiency (computation time) can be quite different depending on the instance solved. 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 engine prototypes. We validate our proposal with a reference implementation based on Choco and the MiniZinc modeling language.
Fichier principal
Vignette du fichier
jfpc2013-propengine_fr.pdf (324.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00867713 , version 1

Citer

Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien. Prototyper des Moteurs de Propagation avec un DSL. Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288. ⟨hal-00867713⟩
217 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More