Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
- 1 January 1997
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 10 (2/3), 149-169
- https://doi.org/10.1023/a:1008647823331