\begin{slide}{Pfadkonsistenz}

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

\begin{itemize}
\item $C_{x,y} \circ C_{y,z}\supseteq C_{x,z}$
\end{itemize}

wobei $C_{x,y}=$ Menge aller erfüllenden Belegungen
($=$ geordnete Paare) von Constraints, in denen nur $x,y$ vorkommen.

\end{slide}
