Nächste Seite:
Motivation
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Reverse Unit Propagation
Binäre Entscheidungsgraphen (ROBDDs)
Unterabschnitte
Motivation
Darstellung von Modellmengen
Entscheidungsbäume mit Sharing
Eigenschaften von ROBDDs
Operationen mit ROBDDs
OBDD-Anwendung: Modelle zählen
ROBBD-Implementierungen
2014-03-31
