Pfadkonsistenz

ein Constraintsystem heißt pfadkonsistent, wenn für alle Variablen x, y, z gilt:

• C_{x, y}oC_{y, z} $\supseteq$ C_{x, z}

wobei C_{x, y} = Menge aller erfüllenden Belegungen (= geordnete Paare) von Constraints, in denen nur x, y vorkommen.