Advanced BDD Optimization - Rudiger Ebendt - Libros - Springer-Verlag New York Inc. - 9781441937964 - 29 de octubre de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 159,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de octubre de 2010
ISBN13 9781441937964
Editores Springer-Verlag New York Inc.
Páginas 222
Dimensiones 160 × 240 × 12 mm   ·   358 g
Lengua Inglés