Problembeschreibung

Beim 3SATProblem geht es darum, aus mehreren Klauseln in konjunktiver Normalform (KNF), eine erfüllbare Belegung zu finden.