摘要：多项式时间约减SAT到多项式尺寸的2-SAT描述。
作者：Sergey Gubin
论文ID：0704.0108
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中