Nächste Seite:
Aussagenlogik: Syntax
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Literatur
Erfüllbarkeit aussagenlogischer Formeln (SAT)
Unterabschnitte
Aussagenlogik: Syntax
Aussagenlogik: Semantik
Der Folgerungsbegriff
Normalformen (DNF, CNF)
Modellierung durch SAT
Benutzung von SAT-Solvern
Äquivalenzen
Erfüllbarkeits-Äquivalenz
Tseitin-Transformation
Tseitin-Transformation (Übung)
Beispiele zur SAT-Modellierung
2014-03-31
