\newcommand{\dom}{\operatorname{dom}}

\begin{slide}{$k$-Konsistenz}

Eine partielle Belegung $b$ von Variablen eines CS 
heißt \emph{konsistent}, wenn $b$ alle Constraints erfüllt,
in denen nur Variablen aus $\dom b$ vorkommen.

Ein CS ist $k$-konsistent,
wenn jede konsistente $(k-1)$-Belegung
zu einer konsistenten $k$-Belegung fortgesetzt werden kann.

Genauer: $\dots$

Beziehungen zu Knoten-, Kanten-, Pfadkonsistenz.

\end{slide}
