Advanced BDD Optimization
- Indbinding:
- Paperback
- Sideantal:
- 222
- Udgivet:
- 12. oktober 2010
- Udgave:
- 12005
- Størrelse:
- 234x156x12 mm.
- Vægt:
- 378 g.
- 8-11 hverdage.
- 7. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Advanced BDD Optimization findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621