Povedzte o tejto položke priateľom:
Advanced BDD Optimization Rudiger Ebendt Softcover reprint of hardcover 1st ed. 2005 edition
Advanced BDD Optimization
Rudiger Ebendt
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 29. októbra 2010 |
| ISBN13 | 9781441937964 |
| Vydavatelia | Springer-Verlag New York Inc. |
| Strany | 222 |
| Rozmery | 160 × 240 × 12 mm · 358 g |
| Jazyk | Angličtina |