Advanced BDD Optimization - Rudiger Ebendt - Grāmatas - Springer-Verlag New York Inc. - 9781441937964 - 2010. gada 29. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 152,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 4. - 12. jūn.
Pievienot savam iMusic vēlmju sarakstam

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 29. oktobris
ISBN13 9781441937964
Izdevēji Springer-Verlag New York Inc.
Lapas 222
Izmēri 160 × 240 × 12 mm   ·   358 g
Valoda Angļu