Nächste Seite: SAT-Kodierungen Aufwärts: Constraint-Programmierung Vorlesung Sommersemester 2009 Vorherige Seite: SAT-Kodierung von Binärzahlen

SAT: Anwendungen

Unterabschnitte

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

2009-06-22