An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order

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]

Authors

Martin Sauerhoff

This author has not been identified. Look up 'Martin Sauerhoff' in Google