@第{zbMATH05771248条,作者={Bollig,Beate},标题={关于阈值函数}的(广义){OBDDs}的大小,FJournal={信息处理信件},日志={Inf.Process.Lett.},ISSN={0020-0190},体积={109},数字={10},页码={499--503},年份={2009},语言={英语},DOI={10.1016/j.ipl.2009.01.005},关键词={68P05,68Q25},zbMATH={5771248},Zbl={1209.68151}}