\begin{slide}{Globale und lokale Konsistenz}

bei den Schritten während der Lösungssuche:
\begin{itemize}
  \item 
    die Invariante ist global 

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

    \dots und deswegen bei der Lösungssuche 
    nicht unmittelbar nützlich
\item
  die tatsächliche Auswahl des Schrittes benutzt
  \emph{lokale} Konsistenz-Kriterien

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

  \dots bei denen man nicht alle Belegungen aller Variablen
  durchprobieren muß
  

  \end{itemize}






\end{slide}
