哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级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) 全文: 内政部 OA许可证
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) Zbl 07433026号 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 SMT求解器中的位宽度相关证明。 (英语) Zbl 07178987号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11716, 366-384 (2019).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,Lect。注释计算。科学。11716、366--384(2019;Zbl 07178987) 全文: 内政部 arXiv公司