Advanced BDD Optimization - Rudiger Ebendt - Knihy - Springer-Verlag New York Inc. - 9781441937964 - 29. októbra 2010
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 149,99

Objednané zo vzdialeného skladu

Očakávané doručenie 11. - 19. jún
Pridať do vášho zoznamu prianí na iMusic

Tiež dostupné ako:

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 29. októbra 2010
ISBN13 9781441937964
Vydavatelia Springer-Verlag New York Inc.
Strany 222
Rozmery 160 × 240 × 12 mm   ·   358 g
Jazyk Angličtina  

Mere med samme udgiver