Advanced BDD Optimization - Rudiger Ebendt - Bøger - Springer-Verlag New York Inc. - 9780387254531 - 23. august 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

Rudiger Ebendt
Advanced BDD Optimization 2005 edition

Pris
DKK 1.504

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 13. okt.
Modtag notifikation om nye Rudiger Ebendt udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 23. august 2005
ISBN13 9780387254531
Forlag Springer-Verlag New York Inc.
Antal sider 222
Mål 156 × 232 × 14 mm   ·   517 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med Rudiger Ebendt