德扬·约瓦诺维奇;布鲁诺·杜特雷 非线性算法的插值和模型检查。 （英语） 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） 全文： 内政部