Nächste Seite:
Einleitung, Definition
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Übung SMT-LIB
Finite Domain Constraints
Unterabschnitte
Einleitung, Definition
CNF-SAT als FD-Constraint-Problem
Algorithmen für FD-Solver (Ansatz)
Lösungen, Lösbarkeit
Algorithmen für FD-Solver
Globale und lokale Konsistenz
Kantenkonsistenz (Definition)
Kantenkonsistenz (Herstellung)
Hyperkantenkonsistenz
Hyperkantenkonsistenz und Konflikte
Hyperkantenkonsistenz: Erweiterungen
Übung Konsistenz
FD und SAT
2014-07-06
