Advanced BDD Optimization - Rudiger Ebendt - Boeken - Springer-Verlag New York Inc. - 9780387254531 - 23 augustus 2005
Indien omslag en titel niet overeenkomen, is de titel correct

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Prijs
€ 168,49

Besteld in een afgelegen magazijn

Verwachte levering 5 - 19 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
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     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 23 augustus 2005
ISBN13 9780387254531
Uitgevers Springer-Verlag New York Inc.
Pagina's 222
Afmetingen 156 × 232 × 14 mm   ·   517 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van Rudiger Ebendt ( bijv. Hardcover Book en Paperback Book )