\begin{slide}{Projektthemen}

  \begin{itemize}
  \item Multiplikation, Faktorisierung (SAT-Encoding)
  \item (max,plus)-Gleichungssysteme (SMT/Ungl.)
  \item \url{http://www.morpionsolitaire.com/}
  \item (End-)Spiele als QBF
  \item Constraint-Solver im Suse-Paketmanager
  \item Puzzles von \url{http://janko.at/} z. B.:
    \begin{itemize}
    \item \url{http://www.janko.at/Raetsel/Nonogramme/}
    \item \url{http://www.janko.at/Raetsel/Zeltlager/}
    \end{itemize}
    (Lösen und Generieren)
  \item Optimizer-Puzzles \url{http://www.logic-masters.de///OM2009/seiten/anleitung.php}
  \item \glqq ernsthafte Optimierungs-Aufgaben\grqq, 
    Leistungsvergleich mit evol. Algorithmen.
  \end{itemize}

\end{slide}
