摘要：用于解决3-SAT问题的确定性多项式时间算法
作者：Amar Mukherjee
论文ID：1104.4490
分类：Computational Complexity
分类简称：cs.CC
提交时间：2012-01-09
PDF 下载： 英文版 中文版pdf翻译中