摘要：SAT问题的NP-完备性及其与P的等价性的争议
作者：C. Sauerbier
论文ID：cs/0209015
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-11-30
PDF 下载： 英文版 中文版pdf翻译中