Graph-based algorithms for Boolean function manipulation (1986)

by Randal E. Bryant
Venue:IEEE Transactions on Computers
Citations:2919 - 46 self