Globale und lokale Konsistenz

bei den Schritten während der Lösungssuche:

• die Invariante ist global

  (F, dom) kons. $\iff$ (F, dom) gelöst ∨∃i : (F, dom_i) kons.

  ...und deswegen bei der Lösungssuche nicht unmittelbar nützlich

• die tatsächliche Auswahl des Schrittes benutzt lokale Konsistenz-Kriterien

  (Bsp. Kanten-Konsistenz, Hyperkanten-K., Pfad-K.)

  ...bei denen man nicht alle Belegungen aller Variablen durchprobieren muß