135 | -- | 136 | Masahiro Fujita, Patrick C. McGeer. Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams |
137 | -- | 148 | Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping |
149 | -- | 169 | Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation |
171 | -- | 206 | R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi. Algebraic Decision Diagrams and Their Applications |
207 | -- | 219 | Gary D. Hachtel, Fabio Somenzi. A Symbolic Algorithms for Maximum Flow in 0-1 Networks |
221 | -- | 242 | Shin-ichi Minato, Fabio Somenzi. Arithmetic Boolean Expression Manipulator Using BDDs |
243 | -- | 270 | Paul Tafertshofer, Massoud Pedram. Factored Edge-Valued Binary Decision Diagrams |