Vertel uw vrienden over dit artikel:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 29 oktober 2010 |
| ISBN13 | 9781441937964 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 222 |
| Afmetingen | 160 × 240 × 12 mm · 358 g |
| Taal en grammatica | Engels |
Bekijk alles van Rudiger Ebendt ( bijv. Hardcover Book en Paperback Book )