彼得·兰米奇 高效验证(UN)SAT证书检查。 (英语) Zbl 1468.68134号 J.汽车。推理 64,第3期,513-532(2020年).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich},J.Autom(美国汽车制造商协会)。推理64,No.3,513--532(2020;Zbl 1468.68134) 全文: 内政部 OA许可证
安德烈·杜奈茨;格哈德·谢尔霍恩;沃尔夫冈·雷夫 代数规范中的自动缺陷检测。 (英语) 兹比尔1207.68337 J.汽车。推理 45,第4期,359-395(2010).MSC公司:68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Dunets}等人,J.Autom。推理45,No.4,359--395(2010;Zbl 1207.68337) 全文: 内政部
菲利普·马里奇 现代SAT求解器的形式化和实现。 (英语) Zbl 1187.68557号 J.汽车。推理 43,第1期,81-119(2009).MSC公司:68T20型 68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić},J.Autom。推理43,No.1,81--119(2009;Zbl 1187.68557) 全文: 内政部
吉尔·迪肯;奥利维尔·杜波伊斯 一种解决随机SAT问题的有效方法。 (英语) Zbl 1113.68099号 J.汽车。推理 37,第4期,261-276(2006).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dequen}和\textit{O.Dubois},J.Autom。推理37,No.4,261--276(2006;Zbl 1113.68099) 全文: 内政部
詹·约翰森 纯文字消除的复杂性。 (英语) Zbl 1109.68050号 J.汽车。推理 35,编号1-3,89-95(2005).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.约翰森},J.Autom。推理35,No.1--3,89-95(2005;Zbl 1109.68050) 全文: 内政部