Martin Sauerhoff. An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order. Discrete Applied Mathematics, 158(11):1195-1204, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.