@第{zbMATH05907438条，作者={Tveretina，Olga and Sinz，Carsten and Zantema，Hans}，标题={有序二元决策图、鸽子洞公式及其他}，FJournal={可满足性、布尔建模和计算杂志}，Journal={J.满足布尔模型计算}，ISSN={1574-0617}，体积＝｛7｝，数字={1}，页码={35--58}，年份={2010}，语言={英语}，关键词={68Q25,03B05,03B35,03F20}，zbMATH={5907438}，Zbl={1221.68105}}