Advanced BDD Optimization

Gebonden

€ 221,95

Afwijkende levertijd: 10 - 12 werkdagen.
Advanced BDD Optimization

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
Koop lokaal, ook online!
Bekijk winkelvoorraad

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.
ISBN
9780387254531
Verschenen
01-01-2005
Bindwijze
Gebonden
Pagina's
222 pagina's
Druk
1e
Taal
Engels
Formaat
24,1 cm x 15,9 cm x 1,9 cm
Gewicht
522 gram
Geen recensies beschikbaar.
pro-mbooks2 : libris