Contrôle statistique du processus de propagation de contraintesReport as inadecuate

Contrôle statistique du processus de propagation de contraintes - Download this document for free, or read online. Document in PDF available to download.

1 CRIL - Centre de Recherche en Informatique de Lens

Abstract : 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.

Author: Frederic Boussemart - Fred Hemery - Christophe Lecoutre - Mouny Samy-Modeliar -



Related documents