Comparing two-level and ordered binary decision diagram representations of logic functions
Srinivas Devadas · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1993
An example is given of a class of functions with 2n+logn inputs that have two-level or sum-of-products representations containing n/sup 2/ product terms and ordered binary decision diagram representations that have at least Omega (1/sup n/2/) vertices under any possible variable ordering.>