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

by R E Bryant
Venue:in: Proc. 6th International Workshop on Algorithmic Learning Theory