Unärkodierung

• als monotone Bitfolge

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

  x = [x₀,...] mit x₀$\ge$x₁$\ge$....

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

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