亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 （英语） 兹伯利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解决方案中进行灵活的验证生产。 （英语） 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 1514.68274号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 205-226 (2022).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nötzli}等人，Lect。注释计算。科学。13372，205-226（2022；Zbl 1514.68274） 全文： 内政部
安德鲁·雷诺兹;哈尼尔·巴博萨;丹尼尔·拉拉兹;塞萨尔·蒂内利 通过枚举语法指导的合成实现外推的可扩展算法。 （英语） Zbl 07614511号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 141-160 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。12166141-160（2020；Zbl 07614511） 全文： 内政部
安德烈斯·诺兹利;安德鲁·雷诺兹;哈尼尔·巴博萨;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 SMT解算器的语法制导重写规则枚举。 （英语） Zbl 1441.68233号 Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日在葡萄牙里斯本举行的第22届SAT国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 279-297 (2019).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nötzli}等人，Lect。注释计算。科学。11628279--297（2019年；Zbl 1441.68233） 全文： 内政部
哈尼尔·巴博萨;安德鲁·雷诺兹;丹尼尔·乌拉乌伊;塞萨尔·蒂内利;克拉克·巴雷特 将SMT求解器扩展到高阶逻辑。 （英语） Zbl 07178968号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 35-54 (2019).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人，Lect。注释计算。科学。11716，35-54（2019；Zbl 07178968） 全文： 内政部 哈尔
安德鲁·雷诺兹;阿琼·维斯瓦纳坦;哈尼尔·巴博萨;塞萨尔·蒂内利;克拉克·巴雷特 具有共享选择器的数据类型。 （英语） Zbl 1511.68175号 Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 591-608 (2018).MSC公司：第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。10900，591--608（2018；Zbl 1511.68175） 全文： 内政部