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

  \begin{itemize}
  \item weitere Konsistenzbegriffe (Hyperkante, Pfad)
  \item  Entwurf autotool-Aufgabe zu FD-Solver
    (im Vergleich zu DPLL)
  \item Konsistenzbegriffe anwenden auf Kodierung
    von SAT als FD-Problem
  \item (Wiederholung Fourier-Motzkin, ergÃ¤nze Quelltext,
    so daÃŸ erfÃ¼llende Belegung berechnet wird)
  \end{itemize}


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