摘要：一种解决多项式时间3SAT问题的知识识别算法( KRA) 的介绍
作者：Xiaowen Han, David Zhu, Cuifeng Zhou
论文ID：1009.3687
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-12-13
PDF 下载： 英文版 中文版pdf翻译中