Rosenkrantz: On the Size of Binary Decision Diagrams Representing Boolean Functions; Theoret (1995)

by Y Breitbart, H Hunt D
Venue:Computer Sci