Resolution Is Not Automatizable Unless W[P] Is Tractable

• 期刊名称SIAM Journal on Computing
• 作者Alekhnovich, Michael; Razborov, Alexander A.
• 卷第38卷
• 期第4期
• 印刷ISSN0097-5397
• 电子ISSN1095-7111
• 文件大小232.04KB
• 发表时间2008-01
• DOI10.1137/06066850x
• 页码1347-1363