Graph-Based Algorithms for Boolean Function Manipulation

In this paper we present a new data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner ...