Kantenkonsistenz (Herstellung)

• für ein binäres Constraint C(x, y)

  und Bereichszuordnung dom(x) = P, dom(y) = Q:

• definiere die Projektionen

  P' = {p | ∃q∈Q : C(p, q)},      Q' = {q | ∃p∈P : C(p, q)}.

• und Inferenzregeln Arc₁ : (P, Q) $\mapsto$ (P', Q),    Arc₂ : (P, Q) $\mapsto$ (P, Q').

• Satz: eine Zuordnung ist kantenkonsistent, wenn sie unter Arc₁ und Arc₂ abgeschlossen ist

• Algorithmus: solange dom nicht kantenkonsistent ist, wende Arc₁ und Arc₂ in beliebiger Reihenfolge an.