摘要
1 BIBEL，W.《自动定理证明》，第二版，维埃格，布伦瑞克，1987年。 谷歌学者 
2 布莱克，A.布尔代数中的规范表达式。 博士论文。 芝加哥大学，伊利诺伊州芝加哥，1937年。 谷歌学者 三 CHV，~TAL，V.图论中的概率方法。 安·Oper。 第1号决议（1984年），17 l-182。 谷歌学者 4 COOK，S.A.理论证明程序的复杂性。 第三届计算机理论年度研讨会论文集（5月3日至7日，俄亥俄州夏克高地）。 ACM，纽约，197 l，第151-158页。 谷歌学者 5 DAVIS，M.和PUTNAM，H.量化理论的计算程序。 J.ACM 7，3（1960年7月），201-215。 谷歌学者 6 关于正则分辨率的复杂性和Davis-Putnam过程。 理论。 计算。 科学。 4 (1977), 23-46. 谷歌学者 7 HAKEN，A.解决方案的难处理性。 理论。 计算。 科学。 39（i 985），297-308。 谷歌学者 8 HALL，P.关于子集的代表。 Jr.伦敦数学。 《社会学杂志》第10期（1935年），第26-30页。 谷歌学者 9 HAMMER（IVANESCU），P.L.和RUDEANU，S.《运筹学及相关领域的布尔方法》。 斯普林格·弗拉格，柏林，海德堡，纽约，1968年。 谷歌学者 10 霍夫曼·A.J.和库恩·H.W.论不同代表的制度。 在线性不等式和相关系统中。 数学研究年鉴，第38卷。 普林斯顿大学出版社，新泽西州普林斯顿，1956年，第199-206页。 谷歌学者 11 LOWENHEIM，L.L~lber是Klassenkalkul逻辑中的Aufl6问题。 Sitzungsber。 柏林数学。 格式。 7 (1908), 89-94. 谷歌学者 12 中尉）文海姆，L.Ober die Aufl6sung von Gleichungen im logischen Gebietkalkul。 数学。 Ann.68（1910），169-207。 谷歌学者 13 LOWENHEIM，L.13ber在Gebietkalkul的转换。 数学。 《年鉴》第73卷（1913年），第245-272页。 谷歌学者 14 RADO，R.关于独立关系的一个定理。 夸脱。 数学杂志。 （牛津）13（1942），83-89。 谷歌学者 15 ROBINSON，J.A.基于解析原理的面向机器的逻辑。 J.ACM 12，1（1965年1月），23-4 I。 谷歌学者 16 TSEITIN，G.S.阐述了命题演算中推导的复杂性。 在建构数学和数理逻辑研究中，第2部分。 顾问局，纽约-伦敦，1968年，第I 15-125页。 谷歌学者 17 URQUHART，A.解决方案的硬示例。 J.ACM 34，1（1987年1月），209-219。 谷歌学者 18 WELSH，D.J.A.Rado定理的一些应用。 Mathematika 15（1968），199-203。 谷歌学者
建议
精确相变中的许多困难示例 本文分析了两个随机约束满足问题（CSP）模型（即模型RB/RD）的求解复杂性，对于这两个模型，我们可以确定相变的存在性并准确地识别阈值点。 通过将CSP编码为。。。 解析法的一些疑难示例 摘要 鉴于 n个 命题变量，让 K（K） n个 （i，j），0≤ 我 ≤ j个 ≤ n个 ，是所有连词的集合（或析取） 我 其中的文字 j个 文字是否定的。 Dunham和Wang推测，可能需要指数时间来确定每个。。。 水平有序Q分辨率和树状Q分辨率是不可比拟的 我们证明了Q-分辨系统在证明假QBFs为假时的两个限制，即水平阶Q-分辨和树状Q-分辨是不可比拟的。 虽然Exp+Res系统已知具有p-模拟树状Q分辨率，但我们观察到它。。。
评论
