Graph-Based Algorithms for Boolean Function Manipulation (1986) [pdf]mtv.ece.ucsb.edu2 pointsmpweiher9 years ago