Advanced BDD Optimization - Rudiger Ebendt - Livres - Springer-Verlag New York Inc. - 9781441937964 - 29 octobre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 143,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 20 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Rudiger Ebendt

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
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     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 29 octobre 2010
ISBN13 9781441937964
Éditeurs Springer-Verlag New York Inc.
Pages 222
Dimensions 160 × 240 × 12 mm   ·   358 g
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur

Voir tous les Rudiger Ebendt