Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. Formal Methods in System Design, 10(2/3):149-169, 1997.

Abstract

Abstract is missing.