@InProceedings{l10-p255-266, AUTHOR = {Beate Bollig}, TITLE = {A Larger Lower Bound on the OBDD Complexity of the Most Significant Bit of Multiplication}, BOOKTITLE = {Proc.~of the 9th Latin American Symposium on Theoretical Informatics (LATIN'10)}, PAGES = {255--266}, YEAR = 2010, ADDRESS = {Oaxaca, Mexico}, KEYWORDS = {}}