盛英;尤尼·佐哈尔;克里斯托弗·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 结合了稳定的无限性和(强烈的)礼貌。 (英语) Zbl 07753653号 J.汽车。推理 67,第4期,第34号论文,22页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第4号,论文34,22页(2023;Zbl 07753653) 全文: 内政部
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park,Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 关于向量的推理:序列理论的可满足模。 (英语) Zbl 07753651号 J.汽车。推理 67,第3号,第32号论文,第34页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第3号,论文32,34页(2023;Zbl 07753651) 全文: 内政部
亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 (英语) Zbl 07702725号 J.汽车。推理 67,第2号,第19号论文,第25页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,J.Autom。推理67,第2号,第19号论文,第25页(2023;Zbl 07702725) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) Zbl 07433026号 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
阿明·比尔(编辑);塞萨尔·蒂内利(编辑);克里斯托夫·韦登巴赫(编辑) 自动推理系统专题前言。 (英语) Zbl 1468.68009号 J.汽车。推理 64,第3期,361-362(2020年).MSC公司:68-06 68伏15 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}(编辑)等人,J.Autom。推理64,编号3,361-362(2020;兹bl 1468.68009) 全文: 内政部
塞萨尔·蒂内利;卡拉戈罗·扎尔巴。 结合非稳定无限理论。 (英语) Zbl 1108.03014号 J.汽车。推理 34,第3期,209-238(2005).MSC公司:03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.G.Zarba},J.Autom。推理34,No.3,209--238(2005;Zbl 1108.03014) 全文: 内政部
塞萨尔·蒂内利 背景推理者通过残差共享进行理论推理的合作。 (英语) Zbl 1019.03004号 J.汽车。推理 30,第1期,1-31页(2003年).MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli},J.Autom。推理30,第1号,1-31(2003;Zbl 1019.03004) 全文: 内政部