哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级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 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） 全文： 内政部