Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams M. FujitaP.C. McGeer OriginalPaper Pages: 135 - 136
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping E.M. ClarkeK.L. McmillanJ. Yang OriginalPaper Pages: 137 - 148
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation M. FujitaP.C. McGeerJ.C.-Y. Yang OriginalPaper Pages: 149 - 169
Algebric Decision Diagrams and Their Applications R.I. BaharE.A. FrohmF. Somenzi OriginalPaper Pages: 171 - 206
A Symbolic Algorithms for Maximum Flow in 0-1 Networks G.D. HachtelF. Somenzi OriginalPaper Pages: 207 - 219
Arithmetic Boolean Expression Manipulator Using BDDs Shin-Ichi MinatoF. Somenzi OriginalPaper Pages: 221 - 242
Factored Edge-Valued Binary Decision Diagrams Paul TafertshoferMassoud Pedram OriginalPaper Pages: 243 - 270