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]

@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},
}