Login

Drechsler, Rolf

Advanced BDD Optimization

Drechsler, Rolf - Advanced BDD Optimization, ebook

151,20€

Ebook, PDF with Adobe DRM
ISBN: 9780387254548
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
 
Publisher
Springer
Publication year
2005
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9780387254548

Similar titles