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-Begriffe
DPLL-Algorithmus
DPLL-Beispiel
DPLL-Beispiel (Lösung)
DPLL: Heuristiken, Modifikationen
DPLL mit CDCL (Plan)
DPLL mit CDCL (Einzelheiten)
2014-07-06
