A Framework for Decision-based ConsistenciesReport as inadecuate




A Framework for Decision-based Consistencies - Download this document for free, or read online. Document in PDF available to download.

1 CRIL - Centre de Recherche en Informatique de Lens

Abstract : Consistencies are properties of constraint networks that can be enforced by appropriate algorithms to reduce the size of the search space to be explored. Recently, many consistencies built upon taking decisions most often, variable assignments and stronger than general- ized arc consistency have been introduced. In this paper, our ambition is to present a clear picture of decision-based consistencies. We identify four general classes or levels of decision-based consistencies, denoted by S∆φ, E∆φ, B∆φ and D∆φ, study their relationships, and show that known consistencies are particular cases of these classes. Interestingly, this gen- eral framework provides us with a better insight into decision-based con- sistencies, and allows us to derive many new consistencies that can be directly integrated and compared with other ones.





Author: Jean-Francois Condotta - Christophe Lecoutre -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents