摘要：多项式时间的 SAT 算法下的 P = NP 问题
作者：C. Sauerbier
论文ID：cs/0208018
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-11-30
PDF 下载： 英文版 中文版pdf翻译中