Advanced BDD Optimization - Rudiger Ebendt - Bücher - Springer-Verlag New York Inc. - 9781441937964 - 29. Oktober 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Rudiger Ebendt
Advanced BDD Optimization Softcover reprint of hardcover 1st ed. 2005 edition

Preis
€ 145,99

Bestellware

Lieferdatum: ca. 16. - 24. Jul

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Auch vorhanden als:

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     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 29. Oktober 2010
ISBN13 9781441937964
Verlag Springer-Verlag New York Inc.
Seitenanzahl 222
Maße 160 × 240 × 12 mm   ·   358 g
Sprache Englisch  

Mere med samme udgiver

Alle Titel von Rudiger Ebendt ansehen ( u. a. Taschenbuch und Gebundenes Buch )