布莱特,柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 (英语) Zbl 1434.05001号 安。数学。Artif公司。智力。 87,第4号,321-342(2019). 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,《数学年鉴》。Artif公司。智力。87,第4号,321--342(2019;Zbl 1434.05001) 全文: 内政部 arXiv公司
傅继成;安德烈斯·卡尔德隆·贾拉米洛;吴文森特;Farokh B.巴斯塔尼。;Yen、I-Ling 针对完全可观察的非确定性规划问题的快速强规划。 (英语) Zbl 1401.68286号 安。数学。Artif公司。智力。 78,第2期,131-155(2016).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}等人,《数学年鉴》。Artif公司。智力。78,第2号,131--155(2016;Zbl 1401.68286) 全文: 内政部