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

by R E Bryant
Venue:ACM Computing Surveys (CSUR