Kantenkonsistenz

ein Constraintsystem heißt kantenkonsistent, wenn für alle Variablenpaare x, y gilt:

• zu jedem Wert a aus dem Bereich von x ...
• gibt es einen Wert b aus dem Bereich von y,
• so daß (a, b) alle Constraints erfüllt, in denen nur x und y vorkommen.

beachte: auch für y, x