Randomized OBDDs for the most significant bit of multiplication need exponential space

Beate Bollig, Marc Gillé. Randomized OBDDs for the most significant bit of multiplication need exponential space. Inf. Process. Lett., 111(4):151-155, 2011. [doi]

Abstract

Abstract is missing.