\begin{slide}{Kantenkonsistenz}

ein Constraintsystem heißt \emph{kantenkonsistent},
wenn für alle Variablenpaare $x,y$ gilt:

\begin{itemize}
\item zu jedem Wert $a$ aus dem Bereich von $x$ \dots
\item gibt es einen Wert $b$ aus dem Bereich von $y$,
\item so daß $(a,b)$ alle Constraints erfüllt,
  in denen nur $x$ und $y$ vorkommen.
\end{itemize}

beachte: auch für $y,x$

\end{slide}
