马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号文件,第28页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) 兹比尔1484.13058 数学。计算。科学。 15,第3期,499-534(2021). 审核人:哈米德·拉科伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499–534(2021;兹bl 1484.13058) 全文: 内政部 arXiv公司
克莱尔·德罗斯;Sylvain Conchon公司;约翰尼斯·卡尼格;安德烈·帕斯科维奇 使用带有触发器的公理向SMT求解器添加决策过程。 (英语) Zbl 1356.68187号 J.汽车。推理 56,第4期,387-457(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,J.Autom。推理56,No.4,387--457(2016;Zbl 1356.68187) 全文: 内政部 哈尔
张汉涛 满意度模SAT的实验。 (英语) Zbl 1356.68208号 J.汽车。推理 第2143-154号第56页(2016年).MSC公司:68吨15 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理56,No.2,143--154(2016;Zbl 1356.68208) 全文: 内政部
茨沃尼米尔·帕夫利诺维奇;金,蒂姆;托马斯·怀斯 实用的基于SMT的类型错误定位。 (英语) Zbl 1360.68351号 2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。412-423 (2015).MSC公司:68N20型 68甲18 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Pavlinovic}等人,in:第20届ACM SIGPLAN函数编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)。412——423(2015年;兹比尔1360.68351) 全文: 内政部 arXiv公司
阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证。 (英语) Zbl 1284.68521号 形式方法系统。设计。 42,第1期,91-118(2013).MSC公司:68吨15 68T20型 03B35型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}等人,《形式方法系统》。设计。42,第1号,91--118(2013;Zbl 1284.68521) 全文: 内政部
周敏;他,费;王,弯腰;顾,明;孙家光 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页(2013;兹bl 1267.68146) 全文: 内政部