| Author | Rolf Drechsler , Goerschwin Fey , Ruediger Ebendt |
| Format | Hardcover |
| ISBN | 9780387254531 |
| Publisher | Springer |
| Manufacturer | Springer-verlag New York Inc. |
VLSI CAD has benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of 'Boolean Satisfiability' (SAT). This book provides the results in BDD optimization, covering different aspects of paths in BDDs and the use of efficient lower bounds during optimization.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.