\begin{slide}{Organisatorisches}

  \begin{itemize}\itemsep 1pt\parskip 1pt
  \item jede Woche 1 Vorlesung $+$ 1 Übung
  \item Übungsaufgaben (teilw. autotool)
  \item Projektarbeit (?), Klausur (?)
  \end{itemize}
mögl. Projektthemen:
\begin{itemize}\itemsep 1pt\parskip 1pt
\item SAT-Kodierungen (Testfälle für eine
  Bibliothek, die von A. Bau entwickelt wird)
\item SAT zum Lösen von Endspielproblemen
  (\url{http://senseis.xmp.net/?Havannah})
\item Generierung von SMT-Benchmarks
  aus Terminationsproblemen
\item Test und Erweiterung eines SMT-Solvers
  \url{https://github.com/jwaldmann/satchmo-smt}
\end{itemize}


\end{slide}
