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]
@article{BolligG11-0, title = {Randomized OBDDs for the most significant bit of multiplication need exponential space}, author = {Beate Bollig and Marc Gillé}, year = {2011}, doi = {10.1016/j.ipl.2010.11.013}, url = {http://dx.doi.org/10.1016/j.ipl.2010.11.013}, researchr = {https://researchr.org/publication/BolligG11-0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {111}, number = {4}, pages = {151-155}, }