Name: Advanced BDD Optimization
Price: 1691.95 DKK
Availability: InStock
Author: Rolf Drechsler
ISBN: 9781441937964

Advanced BDD Optimization af Rolf Drechsler

Du sparer 0% ift. normalprisen Spar 0%

Bag om Advanced BDD Optimization

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.

Vis mere

Sprog:
Engelsk

ISBN:
9781441937964

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
222

Udgivet:
12. oktober 2010

Udgave:
12005

Størrelse:
234x156x12 mm.

Vægt:
378 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 12. december 2024

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK FRIDAY
: :

1.691,95 kr. + Fragt
~~1.691,95 kr.~~

Medlemspris

1.641,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Rolf Drechsler

Vis alle bøger af Rolf Drechsler

Beskrivelse af Advanced BDD Optimization

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.

Brugerbedømmelser af Advanced BDD Optimization

Andre købte også..

Find lignende bøger

Bogen Advanced BDD Optimization findes i følgende kategorier:

Business og læring

Advanced BDD Optimization - Rolf Drechsler - Bog

Bag om Rolf Drechsler

Beskrivelse af Advanced BDD Optimization

Brugerbedømmelser af Advanced BDD Optimization

Gør som tusindvis af andre bogelskere