穆罕默德·埃尔·巴希尔·梅奈;塔斯尼姆·纳赛尔·叶海亚 部分Max-SAT精确方法的分类。 (英语) Zbl 1280.68243号 J.计算。科学。Technol公司。 28,第2期,232-246(2013).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.E.B.Menai}和\textit{T.N.Al-Yahya},J.Compute。科学。Technol公司。28,第2号,232--246(2013;Zbl 1280.68243) 全文: 内政部
黄、邵斌;黄宏涛;陈志远;吕天阳;张涛 状态空间探索的懒惰切片。 (英语) Zbl 1280.68123号 J.计算。科学。Technol公司。 27,第4期,872-890(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.-B.Huang}等人,J.Comput。科学。Technol公司。27,第4号,872--890(2012;Zbl 1280.68123) 全文: 内政部