@第{zbMATH02193770条，作者={Kolpakov，A.和Latypov，R.Kh.}，Title={基于变量线性变换的二元决策图最小化的近似算法}，FJournal={自动化和远程控制}，日志={自动远程控制}，ISSN={0005-1179}，体积={65}，数字＝｛6｝，页码={938--954}，年份={2004}，语言={英语}，DOI＝{10.1023/B:AURC.0000030905.86714.ac}，关键词={90B50}，zbMATH＝{2193770}，Zbl={1074.90539}}