6 Literatur

1. C. Meinel, T. Theobald: Algorithmen und Datenstrukturen im VLSI-Design, Springer, 1998.
2. I. Wegener: Branching Programs and Binary Decision Diagrams, SIAM Monograph on Discrete Mathematics and Applications, 2000.
3. Gary D. Hachtel, Fabio Somenzi: Logic Synthesis and Verification Algorithms, Kluwer, 1996.
4. Bernd Becker, Rolf Drechsler: Binary Decision Diagrams - Theory and Applications, Kluwer, 1998