A Framework for Decision-based Consistencies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A Framework for Decision-based Consistencies

Résumé

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

Dates et versions

hal-00865549 , version 1 (24-09-2013)

Identifiants

  • HAL Id : hal-00865549 , version 1

Citer

Jean-Francois Condotta, Christophe Lecoutre. A Framework for Decision-based Consistencies. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.172-186. ⟨hal-00865549⟩
49 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More