3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.DM2010
Second Moment Method on k-SAT: a General Framework
Thomas Hugel, Yacine Boufkhad
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 ma…
cs.DM2010★ 3 cited
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
Thomas Hugel, Yacine Boufkhad
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina…