@文章{zbMATH06674146，作者={Bollig，Beate}，Title={关于（完全）有序二元决策图的最小化}，FJournal={计算系统理论}，期刊={理论计算系统}，ISSN={1432-4350}，体积={59}，数字={3}，页码={532--559}，年份={2016年}，语言={英语}，DOI={10.1007/s00224-015-9657-x}，关键词={68P05,68Q17}，zbMATH＝{6674146}，Zbl={1401.68051}}