Advanced BDD Optimization
0 Recensies
Gebonden
€ 221,95
Nieuwe boeken gratis bezorgd vanaf € 17,50 naar NL*
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Samenvatting
Samenvatting
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.Specificaties
Specificaties
ISBN
9780387254531
Genre
Verschenen
01-01-2005
Bindwijze
Gebonden
Pagina's
222 pagina's
Druk
1e
Taal
Engels
Uitgever
Formaat
24,1 cm x 15,9 cm x 1,9 cm
Gewicht
522 gram
Recensies (0)
Recensies (0)
Geen recensies beschikbaar.
