Advanced BDD Optimization - Rudiger Ebendt - Livros - Springer-Verlag New York Inc. - 9780387254531 - 23 de agosto de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Advanced BDD Optimization 2005 edition

Rudiger Ebendt

Preço
£ 147,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de mai - 6 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

Advanced BDD Optimization 2005 edition

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ídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 23 de agosto de 2005
ISBN13 9780387254531
Editoras Springer-Verlag New York Inc.
Páginas 222
Dimensões 156 × 232 × 14 mm   ·   517 g
Idioma English  

Ver tudo de Rudiger Ebendt ( por exemplo Paperback Book e Hardcover Book )