\begin{slide}{Knotenkonsistenz}

ein Constraintsystem heißt \emph{knotenkonsistent},
wenn für jede Variable $x$ gilt:

\begin{itemize}
\item jeder Wert aus dem Bereich von $x$ \dots
\item erfüllt alle Constraints, in denen nur $x$ vorkommt.
\end{itemize}



\end{slide}
