Graph-Based Algorithms for Boolean Function Manipulation Bryant Computer Science Department 1986 IEEE Transactions on Computers 8815 citations