
Journals in DBLP
 Masahiro Fujita, Patrick C. McGeer
Introduction to the Special Issue on MultiTerminal Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:135136 [Journal]
 Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:137148 [Journal]
 Masahiro Fujita, Patrick C. McGeer, Jerry ChihYuan Yang
MultiTerminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:149169 [Journal]
 R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
Algebraic Decision Diagrams and Their Applications. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:171206 [Journal]
 Gary D. Hachtel, Fabio Somenzi
A Symbolic Algorithms for Maximum Flow in 01 Networks. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:207219 [Journal]
 Shinichi Minato, Fabio Somenzi
Arithmetic Boolean Expression Manipulator Using BDDs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:221242 [Journal]
 Paul Tafertshofer, Massoud Pedram
Factored EdgeValued Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:243270 [Journal]
