摘要
1 M.Bauer、D.Brand、M.Fischer、A.Meyer和M.Paterson，关于析取形式重言式的注释，SIGACT新闻1973年4月，第17-20页。 谷歌学者 
数字图书馆 
2 S.A.Cook，《理论证明程序的复杂性》，第三届ACM计算理论年会，1971年，第151-158页。 谷歌学者 数字图书馆 三。 M.Davis和H.Putnam，量化理论的计算程序，JACM 7（1960），第201-215页。 谷歌学者 数字图书馆 4 N.D.Jones，组合问题中的空间边界可约性，J.Comp。 系统。 科学。 11（1975）第68-85页。 谷歌学者 数字图书馆 5 N.D.Jones和W.T.Laaser，确定性多项式时间的完全问题，第六年，ACM Symp。 关于补偿理论。， 1974年，第40-46页。 谷歌学者 数字图书馆 6 R.M.Karp，《组合问题的可约性》，《计算机计算复杂性》，R.W.Miller和J.W.Thatcher编辑，Plenum出版社，纽约，1972年，第85-104页。 谷歌学者 交叉引用 
7 E.L.Post，《数学逻辑的二值迭代系统》，《数学年鉴》。 研究，第5卷，普林斯顿，1941年。 谷歌学者 8 W.Savitch，非确定性和确定性磁带复杂性之间的关系，J.Comp。 系统。 科学。 4（1970年），第177-192页。 谷歌学者 数字图书馆 9 T.J.Schaefer，基于有限两人完全信息博弈的决策问题的复杂性，第八届美国计算机学会交响乐团。 关于补偿理论。， 1976年，第41-49页。 谷歌学者 数字图书馆 10 L.J.Stockmeyer，多项式时间层次，Theor。 公司。 科学。 3（1976），第1-22页。 谷歌学者 交叉引用 11 L.J.Stockmeyer和A.R.Meyer，《需要指数时间的单词问题：初步报告》，第五届ACM年会。 《计算理论》，1973年，第1-9页。 谷歌学者 数字图书馆
建议
可满足性问题的复杂性：改进Schaefer定理 Schaefer在1978年证明了给定约束语言的布尔约束满足问题是P或NP-完全的，并确定了所有可处理的情况。 谢弗的二分法定理实际上表明，最多有两个。。。 可满足性问题的复杂性：Schaefer定理的改进 MFCS’05：第30届计算机科学数学基础国际会议论文集 Schaefer在1978年证明了给定约束语言的布尔约束满足问题是P或NP-完全的，并确定了所有可处理的情况。 谢弗的二分法定理实际上表明，最多有两个。。。 最小可满足性问题的复杂性 一类决策问题的二分法定理是断言该类中的某些问题在多项式时间内是可解的，而其余问题是NP完全的结果。 Schaefer于1978年证明了第一个引人注目的二分法定理。 它。。。
