Nächste Seite: Überblick Aufwärts: Constraint-Programmierung Vorlesung Sommersemester 2009 Vorherige Seite: Tseitin-Transpormation (Übung)

Software zur SAT-Kodierung

Unterabschnitte

Überblick
CNF, Solver
Automatische Hilfsvariablen
Realisierung logischer Funktionen
Dekodierung mit Typklassen
Relationen
Anwendung: Graphen
SAT-Kodierung von Binärzahlen

2009-06-22