Symbolic Boolean manipulation with ordered binary-decision diagrams (1992)

by Randal E Bryant
Venue:ACM Computing Surveys
Citations:878 - 11 self