Advanced BDD Optimization

by Rolf Drechsler, Rüdiger Ebendt, Görschwin Fey

Book Overview

Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams.- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary.- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering. 4.3...

• Format: Paperback
• Language: English
• ISBN: 144193796X
• ISBN13: 9781441937964
• Release Date: October 2010
• Publisher: Springer
• Length: 222 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.6" x 6.2" x 9.4"