A new algorithm for 0-1 programming based on binary decision diagrams
Chapter
Overview
abstract
The focus of the book is on logic minimization and includes such topics as two-level minimization, multi-level minimization, application of binary decision diagrams, delay optimization, asynchronous circuits, spectral method for logic ...