\begin{slide}{Wettbewerbe für Constraint-Solver}

  \begin{itemize}
  \item für aussagenlogische Formeln:

    \url{http://www.satcompetition.org/}

    (SAT $=$ satisfiability)
  \item für prädikatenlogische Formeln

    \url{http://smtcomp.sourceforge.net/}

    (SMT $=$ satisfiability modulo theories)

    Theorien: $\ZZ$ mit $\le$, Plus, Mal;  
    $\RR$ mit $\le$, Plus;  \dots
  \item Termination und Komplexität

    \url{http://www.termination-portal.org/wiki/Termination_Competition}
  \end{itemize}


\end{slide}
