Graph-Based Algorithms for Boolean Function Manipulation (1986)

by Randal E. Bryant
Venue:IEEE Transactions on Computers