Graph Based Algorithms for Boolean Function Manipulation (1986)

by R E Bryant
Venue:IEEE Trans. on Computers