Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size.

Beate Bollig, Marc Gill

Browse the full SOFSEM paper archive.