<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Konsistenzen (Ãœberblick)}

man betrachtet jeweils
\begin{itemize}
\item Constraints (log. Formeln)  $C(\ldots,x,\ldots)$
\item Bereiche $x\in\{e_1,\ldots,e_n\}=E$
\end{itemize}

Constraint-System heiÃŸt \dots-konsistent,
wenn ausgewÃ¤hlte Constraints und Bereiche zusammenpassen.

Wenn es nicht paÃŸt: Bereiche durch gewisse 
Regeln verkleinern (bis konsistent oder offensichtlich unlÃ¶sbar)

\begin{itemize}
\item Knotenkonsistenz
\item Kantenkonsistenz
\item Pfadkonsistenz
\end{itemize}

\end{slide}
</pre></body></html>