德扬·约瓦诺维奇;布鲁诺·杜特雷 非线性算法的插值和模型检查。 (英语) Zbl 1493.68212号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{B.Dutertre},莱克特。注释计算。科学。12760266--288(2021年;Zbl 1493.68212) 全文: 内政部 arXiv公司
Cheng,Xi(西成);周敏(Zhou,Min);宋晓宇;顾,明;孙家光 并行化SMT解决:惰性分解和调解。 (英语) Zbl 1444.68169号 Artif公司。智力。 257127-157(2018).MSC公司:68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{X.Cheng}等人,Artif。智力。257、127--157(2018;Zbl 1444.68169) 全文: 内政部
戴维·莫尼奥 可满足性模理论综述。 (英语) Zbl 1453.68116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 401-425 (2016).MSC公司:68兰特 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},莱克特。注释计算。科学。9890401-425(2016;Zbl 1453.68116) 全文: 内政部 arXiv公司
Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
马蒂亚斯·施莱普费尔;乔治·威森巴赫 超分辨率、子句和局部证明的标记插值系统。 (英语) Zbl 1356.68199号 J.汽车。推理 57,第1期,3-36(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher},J.Autom。推理57,No.1,3--36(2016;Zbl 1356.68199) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.4,353--390(2015;Zbl 1356.68179) 全文: 内政部
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 等式插值理论组合中的无量词插值。 (英语) Zbl 1287.03068号 ACM变速器。计算。日志。 第15号第1条第5条第34页(2014年).MSC公司:03B70号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,ACM Trans。计算。日志。15,第1号,第5条,第34页(2014年;Zbl 1287.03068) 全文: 内政部
富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 平等理论的地面插值。 (英语) Zbl 1239.03022号 日志。方法计算。科学。 8,第1号,第6号论文,23页(2012年).MSC公司:03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuchs}等人,日志。方法计算。科学。8,第1号,第6号论文,23页(2012;Zbl 1239.03022) 全文: 内政部
李,李;何开多;顾,明;宋晓宇 线性算术约束的等式检测。 (英语) Zbl 1237.91075号 浙江科技大学学报。A类 第10期,第12期,1784-1789(2009).MSC公司:91磅06 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人,浙江大学学报,科学版。A 10,第12号,1784-1789(2009;Zbl 1237.91075) 全文: 内政部