K-Consistency
	• The concept of consistency can be generalized. • K-Consistent – " variables X1, X2, …, XK • " instantiations of X1, X2, …X(K-1), – $ an instantiation of XK obeying constraints between XK and {X1, …, X(K-1)} • Strongly K-Consistent – J-Consistent for all J£K