| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4652460 | Electronic Notes in Discrete Mathematics | 2009 | 6 Pages |
Abstract
We present a simple strong refutation algorithm for random k-SAT formulas. Our algorithm applies to random k-SAT formulas on n variables with ω(n)n(k+1)/2 clauses for any ω(n)→∞. In contrast to the earlier results of Coja-Oghlan, Goerdt, and Lanka (for k=3, 4) and Coja-Oghlan, Cooper, and Frieze (for k⩾5), which address the same problem for even sparser formulas our algorithm is more elementary.
Related Topics
Physical Sciences and Engineering
Mathematics
Discrete Mathematics and Combinatorics
