Contrôle statistique du processus de propagation de contraintes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Contrôle statistique du processus de propagation de contraintes

Résumé

In this paper, we investigate constraint propagation, a mechanism that is run at each basic step of a backtrack search algorithm such as the popular MAC. From a statistical analysis of some relevant features concerning propagation on a large set of CSP instances, we show that it is possible to make reasonable predictions about the capability of constraint propagation to detect inconsistency. Using this observation in order to control propagation effort, we show its practical effectiveness.
Fichier principal
Vignette du fichier
maccJFPC2011.pdf (427.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00869860 , version 1 (04-10-2013)

Identifiants

  • HAL Id : hal-00869860 , version 1

Citer

Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar. Contrôle statistique du processus de propagation de contraintes. 7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp.65-74. ⟨hal-00869860⟩
58 Consultations
135 Téléchargements

Partager

Gmail Facebook X LinkedIn More