Cheng,Xi(西成);周敏(Zhou,Min);宋晓宇;顾,明;孙家光 并行化SMT解决:惰性分解和调解。 (英语) Zbl 1444.68169号 Artif公司。智力。 257, 127-157 (2018).MSC公司:68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{X.Cheng}等人,Artif。智力。257、127--157(2018;Zbl 1444.68169) 全文: 内政部
周敏(Zhou,Min);他,费;王,弯腰;顾,明;孙家光 有界元素的数组理论及其应用。 (英语) Zbl 1314.03017号 J.汽车。推理 52,第4期,第379-405页(2014年).MSC公司:03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Autom。推理52,No.4,379--405(2014;Zbl 1314.03017) 全文: 内政部
周敏(Zhou,Min);他,费;王,弯腰;顾,明;孙家光 DPLL(T)+证书的统一框架。 (英语) Zbl 1267.68146号 J.应用。数学。 2013年,文章ID 964682,13 p.(2013).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Appl。数学。2013年,文章ID 964682,13 p.(2013;Zbl 1267.68146) 全文: 内政部