Download or read book Branching Programs and Binary Decision Diagrams written by Ingo Wegener and published by SIAM. This book was released on 2000-01-01 with total page 411 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. Efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered.