雅各布·M·豪。;安迪·金 Prolog中SAT和SMT解决方案的一颗明珠。 (英语) Zbl 1248.68455号 西奥。计算。科学。 435,43-55(2012年). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}和\textit{A.King},Theor。计算。科学。435、43-55(2012年;Zbl 1248.68455) 全文: 内政部 链接
菲利普·马里奇 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 (英语) Zbl 1208.68205号 西奥。计算。科学。 411,第50号,4333-4356(2010).MSC公司:68T20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{F.Marić},Theor。计算。科学。411,第50号,4333--4356(2010;Zbl 1208.68205) 全文: 内政部
Jens Schönherr;马丁·弗雷博特;伯恩德·斯特劳贝;Jörg Bormann 通过基于SAT的特性检查对混合信号电路稳态行为进行半形式验证。 (英语) Zbl 1293.68193号 西奥。计算。科学。 404,第3号,293-307(2008).MSC公司:第68季度第60季度 68号30 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{J.Schönherr}等人,Theor。计算。科学。404,第3号,293--307(2008;Zbl 1293.68193) 全文: 内政部
弗兰乔·伊万契奇;杨紫江;马来K·加奈。;阿尔蒂·古普塔;普拉纳夫,阿沙尔 用于软件验证的高效的基于SAT的有界模型检查。 (英语) Zbl 1293.68079号 西奥。计算。科学。 404,第3期,256-274(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Ivanć}等人,Theor。计算。科学。404,第3号,256--274(2008;Zbl 1293.68079) 全文: 内政部
麦克米兰,K.L。 插值定理证明器。 (英语) Zbl 1079.68092号 西奥。计算。科学。 345,第1期,101-121(2005).MSC公司:68吨15 03B35型 03C40号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan},Theor。计算。科学。345,编号1,101--121(2005;Zbl 1079.68092) 全文: 内政部