\begin{slide}{SAT-Kodierung von Binärzahlen}

  \begin{itemize}
  \item Addition
  \item Vergleich
  \item Subtraktion
  \item Multiplikation
  \end{itemize}

Anwendungen: Ramanujans Taxi, Faktorisierung

\end{slide}
