CNF-Kompression (Motivation)

vereinfachte Annahme: SAT-Solver ist schneller, wenn

führt zu der Aufgabe:

Anwendungen:

Aber: mehr Klauseln mathend000# mehr Propagationen



2014-03-31