Drechsler, Rolf
Advanced BDD Optimization
Table of contents
1. Introduction
2. Preliminaries
3. Exact Node Minimization
4. Heuristic Node Minimization
5. Path Minimization
6. Relation between SAT and BDDS
7. Final Remarks
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Drechsler, Rolf
- Ebendt, Rüdiger
- Fey, Görschwin
- Utgivare
- Springer
- Utgivningsår
- 2005
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9780387254548