本杰明·基尔;阿德里安·雷博拉·帕多;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.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公司