Nächste Seite:
unsat, Resolution
Aufwärts:
SAT-Solver
Vorherige Seite:
DPLL: Heuristiken
DPLL: Konfliktklauseln
bei jedem Konflikt:
(minimale) Ursache (d. h. Belegung) feststellen
Negation davon als neue Klausel hinzufügen
2009-06-22
