Graph-based algorithms for boolean function manipulation (1986)

by R Bryant
Venue:Computers, IEEE Transactions on