J Ding,
A Sly, N Sun - Proceedings of the forty-seventh annual ACM …, 2015 - dl.acm.org
We establish the satisfiability threshold for random k-SAT for all k≥ k0. That is, there exists a
limiting density αs (k) such that a random k-SAT formula of clause density α is with high …