Advanced BDD Optimization - Rudiger Ebendt - Bøger - Springer-Verlag New York Inc. - 9781441937964 - 29. oktober 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Rudiger Ebendt

Pris
DKK 1.275

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 19. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 29. oktober 2010
ISBN13 9781441937964
Forlag Springer-Verlag New York Inc.
Antal sider 222
Mål 160 × 240 × 12 mm   ·   358 g
Sprog Engelsk  

Se alt med Rudiger Ebendt ( f.eks. Hardcover bog og Paperback Bog )