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]

Abstract

Abstract is missing.