迈克尔·劳森；贾尔斯·里格尔 在模型消除过程中消除模型。 （英语） Zbl 07532520号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12842, 250-265 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rawson}和\textit{G.Reger}，莱克特。票据计算。科学。12842，250-265（2021；Zbl 07532520） 全文： 内政部
马克西米利亚诺·克里斯蒂亚；吉安弗兰科·罗西 求解有限集和二元关系上的无量词一阶约束。 （英语） Zbl 1468.03009号 J.汽车。推理 64，第2期，295-330（2020年）.MSC公司：03B35型 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛M.Cristiá｝和\textit｛G.Rossi｝，J.奥托姆。推理64，No.2，295--330（2020；Zbl 1468.03009） 全文： 内政部
贾尔斯·里格尔；马丁·里纳；马丁·苏达 MACE型有限元模型求解中的对称避免。 （英语） Zbl 1435.68305号 Herzig，Andreas（编辑）等人，《组合系统的前沿》。2019年9月4日至6日，第十二届国际研讨会，FroCoS 2019，英国伦敦。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11715, 3-21 (2019).MSC公司：68T20型 03C13号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛G.Reger｝等人，Lect。票据计算。科学。11715，3--21（2019；Zbl 1435.68305） 全文： 内政部 链接
马克西米利亚诺·克里斯蒂亚；吉安弗兰科·罗西 有限集关系代数的集求解器。 （英语） Zbl 1518.68415号 Desharnais，Jules（编辑）等人，《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11194, 333-349 (2018).MSC公司：68伏15 03E20型 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi}，莱克特。票据计算。科学。11194333-349（2018年；兹比尔1518.68415） 全文： 内政部
安德鲁·雷诺兹；金，蒂姆；维克多·昆卡 通过反例引导实例化求解量化线性算法。 （英语） Zbl 1377.68138号 形式方法系统。设计。 51，第3号，500-532（2017）.MSC公司：60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《形式方法系统》。设计。51，第3号，500--532（2017；Zbl 1377.68138） 全文： 内政部 链接
安德鲁·雷诺兹；塞萨尔·蒂内利；克拉克·巴雷特 SMT求解器中有限模型查找的约束求解。 （英语） Zbl 1379.68286号 理论与实践。日志。程序。 17，第4期，516-558（2017）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《理论与实践》。日志。程序。17，No.4，516--558（2017；Zbl 1379.68286） 全文： 内政部 arXiv公司
安德烈亚斯·梅耶；沃尔克·索尔格 SAT求解在有限代数分类中的应用。 （英语） Zbl 1109.68103号 J.汽车。推理 35，编号1-3，201-235（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{V.Sorge}，J.Autom。推理35，No.1--3，201-235（2005；Zbl 1109.68103） 全文： 内政部 链接
弗朗索瓦·布里；桑娜·托尔格 一种完全反驳和有限可满足性的演绎方法。 （英语） Zbl 0928.03031号 Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1489, 122-138 (1998).MSC公司：03B70号 68T27型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bry}和\textit{S.Torge}，莱克特。票据计算。科学。1489、122--138（1998年；Zbl 0928.03031）