Nächste Seite: SAT-Kodierungen Aufwärts: Constraint-Programmierung Vorlesung Sommersemester 2009, Vorherige Seite: Beispiele zur SAT-Modellierung

SAT: Anwendungen

Unterabschnitte

SAT-Kodierungen
SAT-Kodierung: Independent Set
SAT-Kodierung: Anzahl-Constraints
SAT-Kodierung: Vertex Cover
SAT-Kodierung: Hamiltonkreis
SAT-Kodierung: Färbung von Graphen
Suche nach symmetrischen Lösungen
Neue Schranke für Van der Waerdens Funktion

2014-07-06