摘要:关于Monotone NAE-3SAT的一个约束版本的NP-完备性证明及其应用
作者:Peiyush Jain
论文ID:1003.3704
分类:Computational Complexity
分类简称:cs.CC
提交时间:2010-03-30
PDF 下载: 英文版 中文版pdf翻译中