Nächste Seite:
Motivation
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Übung Array-Formeln/NNF
Kombination von Theorien
Unterabschnitte
Motivation
Definition
Konvexe Theorien
Nelson-Oppen (I)
Nelson-Oppen für konvexe Theorien
Nelson-Oppen, Beispiel
2014-03-31