Nächste Seite: Motivation, Definition Aufwärts: Constraint-Programmierung Vorlesung Sommersemester 2009 Vorherige Seite: CNF-Kompression (Implementierung)

(Integer/Real) Difference Logic

Unterabschnitte

Motivation, Definition
Lösung von Differenz-Constraints
Constraint-Graphen für IDL
Kürzeste Wege in Graphen
Lösungsidee
Laufzeit
Anwendung: Min/Max-Matrixungleichungen

2009-06-22