Eigenschaften von ROBDDs

• kanonisch
• Erfüllbarkeit, Allgemeingültigkeit trivial
• Operationen? (folgende Folien)
• Größe ist abhängig von Variablenreihenfolge (Beispiel)
• es gibt Formeln, für die jede Variablenreihenfolge ein exponentiell großes ROBDD liefert (Beispiel)