Knotenkonsistenz

ein Constraintsystem heißt knotenkonsistent, wenn für jede Variable x gilt:

• jeder Wert aus dem Bereich von x ...
• erfüllt alle Constraints, in denen nur x vorkommt.