1996

Representations of Discrete Functions

Editors:

ISBN: 978-1-4612-8599-1 (Print) 978-1-4613-1385-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xvi

  2. No Access

    Book Chapter

    Pages 1-28

    Graph-Based Representations of Discrete Functions

  3. No Access

    Book Chapter

    Pages 29-54

    Representations of Logic Functions Using EXOR Operators

  4. No Access

    Book Chapter

    Pages 55-92

    Spectral Transform Decision Diagrams

  5. No Access

    Book Chapter

    Pages 93-108

    Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams

  6. No Access

    Book Chapter

    Pages 109-132

    Edge Valued Binary Decision Diagrams

  7. No Access

    Book Chapter

    Pages 133-161

    Arithmetic Transform of Boolean Functions

  8. No Access

    Book Chapter

    Pages 163-190

    OKFDDs — Algorithms, Applications and Extensions

  9. No Access

    Book Chapter

    Pages 191-210

    Exact Minimization of FPRMs Using Multi-Terminal Exor TDDs

  10. No Access

    Book Chapter

    Pages 211-232

    Multiple Domain Logic Synthesis

  11. No Access

    Book Chapter

    Pages 233-248

    Satisfiability Problems for OFDDs

  12. No Access

    Book Chapter

    Pages 249-268

    Complexity Theoretical Aspects of OFDDs

  13. No Access

    Book Chapter

    Pages 269-292

    Ternary Decision Diagrams and their Applications

  14. No Access

    Book Chapter

    Pages 293-310

    Or-and-Or Three-Level Networks

  15. Back Matter

    Pages 311-331