2005

Advanced BDD Optimization

Authors:

ISBN: 978-0-387-25453-1 (Print) 978-0-387-25454-8 (Online)

Table of contents (7 chapters)

  1. No Access

    Book Chapter

    Pages 1-7

    Introduction

  2. No Access

    Book Chapter

    Pages 9-43

    Preliminaries

  3. No Access

    Book Chapter

    Pages 45-119

    Exact Node Minimization

  4. No Access

    Book Chapter

    Pages 121-143

    Heuristic Node Minimization

  5. No Access

    Book Chapter

    Pages 145-195

    Path Minimization

  6. No Access

    Book Chapter

    Pages 197-209

    Relation between SAT and BDDS

  7. No Access

    Book Chapter

    Pages 211-212

    Final Remarks