@InCollection{zbMATH05851879,作者={Bollig,Beate和Gill,Marc},标题={乘法的最高有效位的随机化{OBDDs}需要指数大小},BookTitle={SOFSEM 2011:计算机科学的理论与实践。第37届计算机科学理论与实践当前趋势会议,2011年11月22日至28日,斯洛伐克斯莫科维奇。诉讼},国际标准图书编号={978-3-642-18380-5},页码={135--145},年份={2011},出版商={柏林:施普林格},语言={英语},DOI={10.1007/978-3-642-18381-2_11},关键词={68Q25,68P05},zbMATH={5851879},Zbl={1298.68109}}