阿拉斯代尔·厄克哈特 常规分辨率和一般分辨率的近最优分离。 （英语） Zbl 1222.03063号 SIAM J.计算。 40，第1期，107-121（2011）。 小结：本文给出了规则分辨率和非限制分辨率之间的近最优分离。主要结果是，存在一系列子句\（\Pi_1，\Pi_2，\ldots，\Pi_i，\ldots\），其中\（\Pi_i\）的最小正则分辨率反驳的大小为\（2^｛\Omega（R_i/（\log R_i）^7\log\log R_i）｝\），其中\（R_i\）是\（\Pi_i\）的无限制分辨率反驳的最小大小。这改进了先前证明的分隔形式为\（2^{\Omega（{R}的\root 3\）}\）和\（2 ^{\O mega（\root 4\ of{R}/（\log R）^3）}\的下限。 引用于7文件 MSC公司： 20层03 证明的复杂性 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：分辨率;证明复杂性;下限 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart}，SIAM J.计算机。40，第1号，第107-121条（2011；Zbl 1222.03063） 全文： 内政部 链接