@article{Art-Woe2005a, author = {Philipp Woelfel}, title = {Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing}, pages = {520-534}, year = {2005}, volume = {71}, doi = {10.1016/j.jcss.2005.05.004}, }