Nächste Seite:
Konsistenz-Begriffe
Aufwärts:
Binäre Entscheidungsgraphen (ROBDDs)
Vorherige Seite:
Operationen mit ROBDDs
OBDD-Anwendung: Modelle zählen
| Mod(0)| = 0,| Mod(1)| = 1,
| Mod(
v
,
l
,
r
)| = | Mod(
l
)| + | Mod(
r
)|
diese Zahlen bottom-up dranschreiben: Linearzeit
2009-06-22
