\begin{slide}{Differenz-Logik}

Die Erfüllbarkeit einer Konjunktion
von Differenz-Constraints kann reduziert werden
auf eine Eigenschaft eines Graphen.


\begin{itemize}
\item 
Definieren Sie alle Parameter des Graphen.
\item
Definieren Sie die zu testende Eigenschaft.
\end{itemize}

(jeweils allgemein und am Beispiel

$x_1 \le x_2+3 \wedge x_2\le x_3+4
\wedge x_3\le x_1-7 \wedge x_4 + 5\le x_2$)

\bigskip

In welchen Anwendungsproblemen treten solche
Constraints auf? (Was ist dabei die
Bedeutung der Variablen, was die Bedeutung
der Zahlen?)




\end{slide}
