Branching Programs and Binary Decision Diagrams
Theory and Applications
description
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.
read more
pages
411
Year published
2000
Publisher
SIAM
Issn
0-89871-458-3
Language
en