\begin{slide}{Unärkodierung}

  \begin{itemize}
  \item 
als \emph{monotone} Bitfolge

$3 = [1,1,1,0,0,0,0,0]$

$x = [x_0,\ldots] $ mit $x_0 \ge x_1 \ge \ldots$.

\item
  Übung: Min, Max, Größer.
\item
  unäre Addition durch Sortiernetze (!)

  ($=$ Idee der minisat-Autoren Een/Sörenssen)

\item
  aktuelle Anwendung:
Codish et al.: \emph{Exotic Semiring Constraints},
\url{http://smt2012.loria.fr/}

  \end{itemize}

\end{slide}
