OBDD-Anwendung: Modelle zählen

typische Anwendung von OBDD ...

\| Mod(0)\| = 0,\| Mod(1)\| = 1,
\| Mod(v, l, r)\| = \| Mod(l )\| + \| Mod(r)\|

diese Zahlen bottom-up dranschreiben: Linearzeit

dabei beachten, daß bei der Konstruktion evtl. Variablen verschwunden sind

2014-03-31