\begin{slide}{Evolutionäre Algorithmen für SAT}

  \begin{itemize}
  \item Genotyp: Bitfolge $[x_1, \ldots, x_n]$ fester Länge
  \item Phänotyp: Belegung $b = \{ (v_1,x_1),\ldots,(v_n,x_n)\}$
  \item Fitness: z. B. Anzahl der von $b$ erfüllten Klauseln
  \item Operatoren:
    \begin{itemize}
    \item Mutation: einige Bits ändern
    \item Kreuzung: one/two-point crossover?
    \end{itemize}
  \end{itemize}
  Problem: starke Abhängigkeit von Variablenreihenfolge

\end{slide}
