Advanced BDD Optimization - Rudiger Ebendt - Boeken - Springer-Verlag New York Inc. - 9781441937964 - 29 oktober 2010
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 144,99

Besteld in een afgelegen magazijn

Verwachte levering 4 - 12 jun.
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 29 oktober 2010
ISBN13 9781441937964
Uitgevers Springer-Verlag New York Inc.
Pagina's 222
Afmetingen 160 × 240 × 12 mm   ·   358 g
Taal en grammatica Engels