International audienceConsistencies 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
