Second Moment Method on k-SAT: a General Framework
Discrete Mathematics
2010-09-29 v1
Abstract
We give a general framework implementing the Second Moment Method on k-SAT and discuss the conditions making the Second Moment Method work in this framework. As applications, we make the Second Moment Method work on boolean solutions and implicants. We extend this to the distributional model of k-SAT.
Cite
@article{arxiv.1009.5588,
title = {Second Moment Method on k-SAT: a General Framework},
author = {Thomas Hugel and Yacine Boufkhad},
journal= {arXiv preprint arXiv:1009.5588},
year = {2010}
}
Comments
35 pages