Branching Programs And Binary Decision Diagrams: Theory And Applications
by Ingo Wegener /
2000 / English / PDF
40.9 MB Download
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.
