玛丽亚·保拉（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） 全文： 内政部
圣菲省格拉汉·伦格兰德;约万诺维奇，德扬;布鲁诺·杜特雷 使用MCSAT求解位向量：来自位和块的解释。 （英语） Zbl 07614509号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 103-121 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Graham-Lengrand}等人，莱克特。注释计算。科学。12166，103-121（2020；Zbl 07614509） 全文： 内政部 arXiv公司
玛丽亚·保拉（Maria Paola Bonacina）;圣菲省格拉汉·伦格兰德;Natarajan Shankar 理论组合的冲突驱动可满足性：过渡系统和完备性。 （英语） Zbl 1468.68194号 J.汽车。推理 64，第3号，579-609（2020）.MSC公司：68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，J.Autom。推理64，No.3，579-609（2020；Zbl 1468.68194） 全文： 内政部
Damien Rouhling公司;马赫福扎·法鲁克;圣菲省格拉汉·伦格兰德;阿西亚·马布比;Jean-Marc，诺丁 证明搜索模理论的公理约束系统。 （英语） Zbl 1471.68317号 Lutz，Carsten（编辑）等人，《联合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 220-236 (2015).MSC公司：68伏15 2012年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rouhling}等人，Lect。注释计算。科学。9322、220--236（2015年；Zbl 1471.68317） 全文： 内政部 arXiv公司