@收款{zbMATH05501983，作者={Bollig，Beate}，Title={关于阈值函数的{OBDD}复杂性和变量排序问题（扩展抽象）}，BookTitle={SOFSEM 2009:计算机科学的理论与实践。第35届计算机科学理论与实践当前趋势会议{S} 针状物{\uu}v Ml\'yn，捷克共和国，2009年1月24日至30日。诉讼}，国际标准图书编号={978-3-540-95890-1}，页码={129--140}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-95891-8_15}，关键词={68P05,68Q25}，zbMATH={5501983}，Zbl={1206.68100}}