Nächste Seite:
Motivation
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009
Vorherige Seite:
Anwendung: Min/Max-Matrixungleichungen
Binäre Entscheidungsgraphen (ROBDDs)
Unterabschnitte
Motivation
Darstellung von Modellmengen
Entscheidungsbäume mit Sharing
Eigenschaften von ROBDDs
Operationen mit ROBDDs
OBDD-Anwendung: Modelle zählen
2009-06-22
