Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 29. oktobris |
| ISBN13 | 9781441937964 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 222 |
| Izmēri | 160 × 240 × 12 mm · 358 g |
| Valoda | Angļu |
Skatīt visus Rudiger Ebendt ( piem., Hardcover Book un Paperback Book )