Advanced BDD Optimization - Rudiger Ebendt - Libros - Springer-Verlag New York Inc. - 9780387254531 - 23 de agosto de 2005
En caso de que portada y título no coincidan, el título será el correcto

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Precio
$ 183,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 23 de agosto de 2005
ISBN13 9780387254531
Editores Springer-Verlag New York Inc.
Páginas 222
Dimensiones 156 × 232 × 14 mm   ·   517 g
Lengua Inglés  

Ver todo de Rudiger Ebendt ( Ej. Hardcover Book y Paperback Book )