Advanced BDD Optimization

by RolfDrechsler (Author), Görschwin Fey (Author), RudigerEbendt (Author)

New
Paperback
2010
$130.42

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.

Synopsis

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.

$130.42

Save:$35.05 (21%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 232
Edition: Softcover reprint of hardcover 1st ed. 2005
Publisher: Springer
Published: 12 Oct 2010
ISBN 10: 144193796X
ISBN 13: 9781441937964

Advanced BDD Optimization

New

$130.42

Synopsis

$130.42

More Information