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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lecoutre, C., & Roussel, O. (2009). Failed value consistencies for constraint satisfaction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5732 LNCS, pp. 554–568). https://doi.org/10.1007/978-3-642-04244-7_44
Mendeley helps you to discover research relevant for your work.