Representations of Discrete Functions Book

Preface. 1. Graph-Based Representations of Discrete Functions. 2. Representations of Logic Functions Using Exor Operators. 3. Spectral Transform Decision Diagrams; R.S. Stankovic, et al. 4. Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams; E.M. Clarke, et al. 5. Edge Valued Binary Decision Diagrams; S.B.K. Vrudhula, et al. 6. Arithmetic Transform of Boolean Functions; J. Jain. 7. OKFDDS - Algorithms, Applications and Extensions; R. Drechsler, B. Becker. 8. Exact Minimization of FPRMs Using Multi-Terminal Exor TDDs; T. Sasao, F. Izuhara. 9. Multiple Domain Logic Synthesis; J. Bullmann, U. Kebschull. 10. Satisfiability Problems for OFDDs; R. Werchner, et al. 11. Complexity Theoretical Aspects of OFDDs; B. Bollig, et al. 12. Ternary Decision Diagrams and Their Applications; T. Sasao. 13. Or-and-Or Three-Level Networks; T. Sasao. Exercise. Appendix A. Appendix B. Index.