克里斯托弗·贝克;罗素·英帕利亚佐 强大的ETH支持常规分辨率。 （英语） Zbl 1293.03032号 第45届ACM计算理论年会论文集，STOC’13。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2029-0）。487-494 (2013). 引用于1审查引用于6文件 MSC公司： 20层03 证明的复杂性 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：下限;证明复杂性;量子经典分离;分辨率 PDF格式BibTeX公司 XML格式引用 \textit{C.Beck}和\textit{R.Impagliazzo}，摘自：第45届ACM计算理论研讨会论文集，STOC’13。2013年6月1-4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）。487--494（2013年；Zbl 1293.03032） 全文： 内政部