Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Advanced BDD Optimization

Advanced BDD Optimization - Rolf Drechsler - Bog

af Rolf Drechsler, Rudiger Ebendt, Goerschwin Fey
Advanced BDD Optimization af Rolf Drechsler
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:
  • 9780387254531
  • Indbinding:
  • Hardback
  • Sideantal:
  • 222
  • Udgivet:
  • 9. juni 2005
  • Udgave:
  • 2005
  • Størrelse:
  • 232x156x14 mm.
  • Vægt:
  • 1120 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.