1. Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams

   • M. Fujita
   • P.C. McGeer

   OriginalPaper Pages: 135 - 136

2. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping

   • E.M. Clarke
   • K.L. Mcmillan
   • J. Yang

   OriginalPaper Pages: 137 - 148

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

   • M. Fujita
   • P.C. McGeer
   • J.C.-Y. Yang

   OriginalPaper Pages: 149 - 169

4. Algebric Decision Diagrams and Their Applications

   • R.I. Bahar
   • E.A. Frohm
   • F. Somenzi

   OriginalPaper Pages: 171 - 206

5. A Symbolic Algorithms for Maximum Flow in 0-1 Networks

   • G.D. Hachtel
   • F. Somenzi

   OriginalPaper Pages: 207 - 219

6. Arithmetic Boolean Expression Manipulator Using BDDs

   • Shin-Ichi Minato
   • F. Somenzi

   OriginalPaper Pages: 221 - 242

7. Factored Edge-Valued Binary Decision Diagrams

   • Paul Tafertshofer
   • Massoud Pedram

   OriginalPaper Pages: 243 - 270