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 ...