Representations of Discrete Functions

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Graph-Based Representations of Discrete Functions
3. Altmetric Badge
   Chapter 2 Representations of Logic Functions Using EXOR Operators
4. Altmetric Badge
   Chapter 3 Spectral Transform Decision Diagrams
5. Altmetric Badge
   Chapter 4 Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams
6. Altmetric Badge
   Chapter 5 Edge Valued Binary Decision Diagrams
7. Altmetric Badge
   Chapter 6 Arithmetic Transform of Boolean Functions
8. Altmetric Badge
   Chapter 7 OKFDDs — Algorithms, Applications and Extensions
9. Altmetric Badge
   Chapter 8 Exact Minimization of FPRMs Using Multi-Terminal Exor TDDs
10. Altmetric Badge
    Chapter 9 Multiple Domain Logic Synthesis
11. Altmetric Badge
    Chapter 10 Satisfiability Problems for OFDDs
12. Altmetric Badge
    Chapter 11 Complexity Theoretical Aspects of OFDDs
13. Altmetric Badge
    Chapter 12 Ternary Decision Diagrams and their Applications
14. Altmetric Badge
    Chapter 13 Or-and-Or Three-Level Networks