Advanced BDD Optimization - Rudiger Ebendt - Livres - Springer-Verlag New York Inc. - 9780387254531 - 23 août 2005
Si la couverture et le titre ne correspondent pas, le titre est correct.

Advanced BDD Optimization 2005 edition

Prix
€ 168,99

Commandé depuis un entrepôt distant

Livraison prévue 17 - 31 août
Recevez une notification pour les nouvelles sorties de Rudiger Ebendt
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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édias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 23 août 2005
ISBN13 9780387254531
Éditeurs Springer-Verlag New York Inc.
Pages 222
Dimensions 156 × 232 × 14 mm   ·   517 g
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur