马丁·布隆伯格;洛伦兹·勒特盖布;克里斯托夫·韦登巴赫 饱和约束Horn子句的符号模型构造。 (英语) Zbl 07842297号 Sattler,Uli(编辑)等人,《组合系统的前沿》。第十四届国际研讨会,2023年9月20日至22日,捷克共和国布拉格,Frocos 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14279, 137-155 (2023).MSC公司:03立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人,Lect。注释计算。科学。14279137-155(2023;Zbl 07842297) 全文: DOI程序 arXiv公司 OA许可证
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 (英语) Zbl 07776353号 理论与实践。日志。程序。 22,第6期,974-1042(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第6号,974--1042(2022;Zbl 07776353) 全文: DOI程序 arXiv公司 OA许可证
索菲·福茨;弗雷德·梅斯纳德;Payet,艾蒂安;吉尔斯·佩鲁因;温·范霍夫;德国维达尔 一种基于SMT的逻辑程序通用测试工具。 (英语) Zbl 07368093号 Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 215-219 (2020).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Fortz}等人,Lect。注释计算。科学。12073、215--219(2020;Zbl 07368093) 全文: DOI程序 arXiv公司