Advanced BDD Optimization - Rudiger Ebendt - Bøker - Springer-Verlag New York Inc. - 9781441937964 - 29. oktober 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.479

Bestillingsvarer

Forventes levert 4. - 12. 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     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 29. oktober 2010
ISBN13 9781441937964
Utgivere Springer-Verlag New York Inc.
Antall sider 222
Mål 160 × 240 × 12 mm   ·   358 g
Språk Engelsk  

Mere med samme udgiver

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