Issue 2-3/1997
Content (7 Articles)
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
E.M. Clarke, K.L. Mcmillan, X. Zhao, M. Fujita, J. Yang
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
M. Fujita, P.C. McGeer, J.C.-Y. Yang
Algebric Decision Diagrams and Their Applications
R.I. Bahar, E.A. Frohm, C.M. Gaona, G.D. Hachtel, E. Macii, A. Pardo, F. Somenzi