Nächste Seite:
Überblick
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Schwierige Fälle für die
SAT-Solver
Unterabschnitte
Überblick
Evolutionäre Algorithmen für SAT
Lokale Suche (GSat, Walksat)
DPLL
DPLL: Heuristiken, Modifikationen
Beweise für Nichterfüllbarkeit
Resolution
Resolution und Unerfüllbarkeit
Resolution, Bemerkungen
DPLL: Lernen von Konfliktklauseln
Vorverarbeitung
Reverse Unit Propagation
2014-03-31
