Random k-SAT: The Limiting Probability for Satisfiability for Moderately Growing k

@article{CojaOghlan2008RandomKT,
  title={Random k-SAT: The Limiting Probability for Satisfiability for Moderately Growing k},
  author={Amin Coja-Oghlan and Alan M. Frieze},
  journal={Electr. J. Comb.},
  year={2008},
  volume={15}
}
We consider a random instance Im = Im,n,k of k-SAT with n variables and m clauses, where k = k(n) satisfies k− log2 n → ∞. Let m = 2(n ln 2+ c) for an absolute constant c. We prove that lim n→∞ Pr(Im is satisfiable) = e −c .