Povej prijatelju o tem izdelku:
Advanced BDD Optimization Rudiger Ebendt Softcover reprint of hardcover 1st ed. 2005 edition
Advanced BDD Optimization
Rudiger Ebendt
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization.
222 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 29. oktobra 2010 |
| ISBN13 | 9781441937964 |
| Založniki | Springer-Verlag New York Inc. |
| Strani | 222 |
| Dimenzije | 160 × 240 × 12 mm · 358 g |
| Jezik | Angleščina |