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

by Randal E Bryant
Venue:ACM Computing Surveys
Citations:936 - 14 self