\begin{slide}{Einleitung, Definition}

  \begin{itemize} \itemsep 2pt \parskip 2pt
  \item endliches Universum $U$ (z.B. $[0,1,2,3]$)
  \item (Funktionen und) Relationen auf $U$, z.B.
    \begin{itemize}
    \item $G(x,y) := (x> y)$
    \item $P(x,y,z):= (x+y=z)$
    \end{itemize}
  \item $\exists$-quantifizierte    Konjunktion von Atomen, z.B.

    $\exists x,y,z: P(x,y,z)\wedge P(x,x,y) \wedge G(y,x)$
  \end{itemize}

das ist die \emph{historische Form} der Constraint-Programmierung,

modern dargestellt in Krzysztof R. Apt: \emph{Principles of Constraint Progr.}, Cambridge Univ. Press 2003

\end{slide}
