Sciweavers

CP
2009
Springer

Failed Value Consistencies for Constraint Satisfaction

14 years 4 months ago
Failed Value Consistencies for Constraint Satisfaction
In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations (also called nogoods). Two main families of consistencies have been introduced so far: those that permit us to reason from variables such as (i, j)-consistency and those that permit us to reason from constraints such as relational (i, j)-consistency. This paper introduces a new family of consistencies based on the concept of failed value (a value pruned during search). This family is orthogonal to previous ones.
Christophe Lecoutre, Olivier Roussel
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where CP
Authors Christophe Lecoutre, Olivier Roussel
Comments (0)