哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级SMT解决方案中进行灵活的验证生产。 (英语) Zbl 07628179号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13385, 15-35 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人,Lect。注释计算。科学。13385,15--35(2022;Zbl 07628179) 全文: 内政部
约万诺维奇,德扬;布鲁诺·杜特雷 非线性算法的插值和模型检查。 (英语) 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},Lect。注释计算。科学。12760266--288(2021年;Zbl 1493.68212) 全文: 内政部 arXiv公司
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:用于优化模理论的工具。 (英语) Zbl 1468.68206号 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,No.3,423--460(2020;Zbl 1468.68206) 全文: 内政部