Advanced BDD Optimization - Rudiger Ebendt - Books - Springer-Verlag New York Inc. - 9781441937964 - October 29, 2010
In case cover and title do not match, the title is correct

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

Price
Ft 52,305
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 29 - Jan 8, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 29, 2010
ISBN13 9781441937964
Publishers Springer-Verlag New York Inc.
Pages 222
Dimensions 160 × 240 × 12 mm   ·   358 g
Language English  

See all of Rudiger Ebendt ( e.g. Hardcover Book and Paperback Book )