本杰明·基尔;阿德里安·雷博拉·帕多;Heule,Marijn J.H。;阿米恩·比尔 用扩展的分辨率模拟强大的实用证明系统。 (英语) Zbl 1468.68293号 J.汽车。推理 64,第7期,1247-1267(2020).MSC公司:68伏15 03B05号 20层03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人,J.Autom。推理64,No.7,1247--1267(2020;Zbl 1468.68293) 全文: 内政部
本杰明·基尔;马蒂娜·塞德尔;汉斯·托姆皮茨;阿米恩·比尔 SAT中的局部冗余:阻塞子句的泛化。 (英语) Zbl 1403.68239号 日志。方法计算。科学。 14,第4号,第3号论文,23页(2018年).MSC公司:68T20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人,日志。方法计算。科学。14,第4号,第3号论文,23页(2018;Zbl 1403.68239) 全文: 内政部 arXiv公司
托拜厄斯·菲利普;阿德里安·雷博拉·帕多 处理中不可满足性证明的语义。 (英语) 兹比尔1403.68244 Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,65-84(2017)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Philipp}和\textit{A.Rebola-Pardo},EPiC Ser。计算。46、65-84(2017;Zbl 1403.68244) 全文: 内政部
本杰明·基尔;马丁·苏达;马蒂娜·塞德尔;汉斯·托姆皮茨;阿米恩·比尔 一阶逻辑中的阻塞子句。 (英语) Zbl 1403.68240号 Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。计算中的EPiC系列46,31-48(2017)。MSC公司:68T20型 03B10号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人,EPiC Ser。计算。46、31——48(2017;Zbl 1403.68240) 全文: 内政部 arXiv公司
马蒂·Järvisalo;阿米恩·比尔;Heule,Marijn J.H。 在CNF上模拟电路级简化。 (英语) Zbl 1267.94144号 J.汽车。推理 49,第4期,583-619(2012).MSC公司:94立方厘米 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,J.Autom。推理49,No.4,583--619(2012;Zbl 1267.94144) 全文: 内政部
O.库尔曼。 3-SAT决策和最坏情况分析的新方法。 (英语) Zbl 0930.68066号 西奥。计算。科学。 223,第1-2、1-72号(1999年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Kullmann},Theor。计算。科学。223,第1-2,72号(1999年;兹bl 0930.68066) 全文: 内政部