Second Moment Method on k-SAT: a General Framework

Details Second Moment Method on k-SAT: a General Framework Second Moment Method on k-SAT: a General Framework

2010-09-28

arxiv.org/abs/1009.5588v1

Computer Science

Discrete Mathematics

35 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Second Moment Method on k-SAT: a General Framework does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Second Moment Method on k-SAT: a General Framework, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Second Moment Method on k-SAT: a General Framework will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-694416