Binary Decision Diagrams: Theory and Implementation
- List Price: $219.99
- Binding: Hardcover
- Publisher: Kluwer Academic Publishers
- Publish date: 07/01/1998
Description:
1 Introduction.- 2 Notations and Definitions.- 3 Decision Diagrams.- 4 Theoretical Aspects.- 5 Minimization of Decision Diagrams: Classical Methods.- 6 Minimization Using Symmetries.- 7 Alternative Minimization Concepts.- 8 Implementational Concepts.- 9 A Case Study: Two-Level AND/EXOR Minimization.- 10 Conclusions.- References.
Expand description
Please Wait