Advanced BDD Optimization - Rudiger Ebendt - Böcker - Springer-Verlag New York Inc. - 9781441937964 - 29 oktober 2010
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.569

Beställningsvara

Förväntad leverans 6 - 14 jul

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även 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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 29 oktober 2010
ISBN13 9781441937964
Utgivare Springer-Verlag New York Inc.
Antal sidor 222
Mått 160 × 240 × 12 mm   ·   358 g
Språk Engelska  

Mere med samme udgiver

Se alt med Rudiger Ebendt ( t.ex. Inbunden Bok och Pocketbok )