Tsutomu Sasao and Masahiro Fujita (e.d.)
Springer,
May 1996.
Preface
Chapter 1 Graph-based representations of discrete functions,
Shin-ichi Minato
Chapter 2 Representation of logic functions using EXOR operators,
Tsutomu Sasao
Chapter 3 Spectral transforms decision diagrams,
Radomir S. Stankovic, Tsutomu Sasao, and Claudio Moraga
Chapter 4 Multi-terminal binary decision diagrams and
hybrid decision diagram
E. M. Clarke, X. Zhao and M. Fujita
Chapter 5 Edge-valued binary decision diagrams,
Sarma B. K. Vrudhula, Massoud Pedram, and Yung-Te Lai
Chapter 6 Arithmetic transform of Boolean functions,
Jawahar Jain
Chapter 7 OKFDDs: Algorithms, applications and extensions
Rolf Drechsler and Bernd Becker
Chapter 8 Exact minimization of fixed polarity Reed-Muller expressions
using multi-terminal EXOR ternary decision diagram,
Tsutomu Sasao and Fumitaka Izuhara
Chapter 9 Multiple domain logic synthesis,
U. Kebschull, J. Bullmann
Chapter 10 Satisfiability problems for OFDDs
Ralph Werchner, Thilo Harich, Rolf Drechsler, Bernd Becker
Chapter 11 Complexity theoretical aspects of OFDDs,
Beate Bollig, Martin Lobbing, Martin Sauerhoff and
Ingo Wegener
Chapter 12 Ternary Decision Diagrams and their applications
Tsutomu Sasao
Chapter 13 OR-AND-OR three-level networks
Tsutomu Sasao
Exercise
Appendix
Index