刘婉薇;王瑞;傅显金;王,季;董伟;毛晓光 符号模型检查的反例保留约简。 (英语) Zbl 1442.68110号 J.应用。数学。 2014年,文章ID 702165,13 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,J.Appl。数学。2014年,文章ID 702165,13 p.(2014;Zbl 1442.68110) 全文: DOI程序
杨国武;威廉·N·洪。;宋晓宇;郭文胜 基于转换的GSTE断言图含义方法。 (英语) Zbl 1311.68091号 J.应用。数学。 2013年,文章ID 709071,第7页(2013年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,J.Appl。数学。2013年,文章ID 709071,第7页(2013年;Zbl 1311.68091) 全文: DOI程序
周敏(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) 全文: DOI程序