哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级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) 全文: 内政部
Seulkee Baek公司;马里奥·卡内罗;Heule,Marijn J.H。 SAT解算器-解算器通信的灵活证明格式。 (英语) Zbl 07566059号 日志。方法计算。科学。 18,第2号,第3号论文,21页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Baek}等人,Log。方法计算。科学。18,第2号,第3号文件,第21页(2022;兹bl 07566059) 全文: arXiv公司 链接
玛丽亚·保拉(Maria Paola Bonacina);圣菲省格拉汉·伦格兰德;Natarajan Shankar 理论组合的冲突驱动可满足性:引理、模块和证明。 (英语) Zbl 07498608号 J.汽车。推理 66,编号1,43-91(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理66,No.1,43--91(2022;Zbl 07498608) 全文: 内政部
汉斯·约尔·舒尔;马蒂亚斯·弗勒里;马丁·德沙奈斯 在证明助手中可靠地重建细粒度证明。 (英语) Zbl 07437094号 AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12699, 450-467 (2021).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Schurr}等人,Lect。票据计算。科学。12699、450-467(2021;Zbl 07437094) 全文: 内政部
Seulkee Baek公司;马里奥·卡内罗;Heule,Marijn J.H。 SAT解算器-解算器通信的灵活证明格式。 (英语) Zbl 1467.68159号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12651, 59-75 (2021).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Baek}等人,Lect。票据计算。科学。12651,59-75(2021;Zbl 1467.68159) 全文: 内政部 arXiv公司