摘要：随机3-SAT公式的满足分配结构的研究
作者：Elitza Maneva and Alistair Sinclair
论文ID：0710.0805
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-09-01
PDF 下载： 英文版 中文版pdf翻译中