Graph-Based Algorithms for Boolean Function Manipulation1986-08-010 OA AI DOI:10.1109/tc.1986.1676819OriginalOriginal request for helpShareSaveAbstract En