based algorithms for Boolean function manipulation (0)

by Graph R E Bryant
Venue:IEEE Trans.Computers