Advanced BDD Optimization - Rudiger Ebendt - Bøker - Springer-Verlag New York Inc. - 9780387254531 - 23. august 2005
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Pris
NOK 1.709

Bestillingsvarer

Forventes levert 4. - 18. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 23. august 2005
ISBN13 9780387254531
Utgivere Springer-Verlag New York Inc.
Antall sider 222
Mål 156 × 232 × 14 mm   ·   517 g
Språk Engelsk  

Mere med samme udgiver

Se alt med Rudiger Ebendt ( f.eks. Innbunden bok og Pocketbok )