Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams (1992)

by R E Bryant
Venue:On Maximal Boolean Complexity Functions,” Theoretical Informatics and Applications