Freunden von diesem Artikel berichten:
Advanced BDD Optimization Rudiger Ebendt 2005 edition
Preis
€ 170,99
Bestellware
Lieferdatum: ca. 24. Aug - 7. Sep
Benachrichtigungen über neue Veröffentlichungen von Rudiger Ebendt erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 23. August 2005 |
| ISBN13 | 9780387254531 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 222 |
| Maße | 156 × 232 × 14 mm · 517 g |
| Sprache | Englisch |
Mehr vom selben Verlag
Alle Titel von Rudiger Ebendt ansehen ( u. a. Gebundenes Buch und Taschenbuch )