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

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Preço
€ 174,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 6 - 20 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Rudiger Ebendt

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

Ainda não avaliado

Também disponível 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

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 Inglês  

Mais da mesma editora

Ver tudo de Rudiger Ebendt