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.

Authors

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google

Patrick C. McGeer

This author has not been identified. Look up 'Patrick C. McGeer' in Google

Jerry Chih-Yuan Yang

This author has not been identified. Look up 'Jerry Chih-Yuan Yang' in Google