Nächste Seite:
Motivation: aussagenlog. Formeln
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Reverse Unit Propagation
Binäre Entscheidungsgraphen (ROBDDs)
Unterabschnitte
Motivation: aussagenlog. Formeln
Darstellung von Modellmengen
Entscheidungsgraphen mit Sharing
Eigenschaften von ROBDDs
Beispiele, Einfluß der Variablenordnung
Operationen mit ROBDDs (Plan)
Operationen mit ROBDDs (Implementierung)
ROBDD-Anwendungen: Modelle zählen
ROBBD-Implementierungen
Übung BDD
2014-07-06
