亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 (英语) Zbl 07702725号 J.汽车。推理 67,第2号,第19号文件,第25页(2023).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,J.Autom。推理67,第2号,第19号论文,第25页(2023;Zbl 07702725) 全文: 内政部
哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业强度SMT解决方案中进行灵活的验证生产。 (英语) 兹伯利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) 全文: 内政部