摘要：在k-SAT问题中，我们提供了一个实现二阶矩法的通用框架，并讨论了使二阶矩法在该框架中起作用的条件。作为应用，我们使二阶矩法适用于布尔解和蕴含项。我们将其扩展到k-SAT的分布模型。
作者：Thomas Hugel and Yacine Boufkhad
论文ID：1009.5588
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2010-09-29
PDF 下载： 英文版 中文版pdf翻译中