摘要：论文标题：命题可满足性问题算法时间复杂性的下界分析
作者：Sergey I. Nikolenko
论文ID：cs/0301012
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中