Proof of the satisfiability conjecture for large k

Jian Ding, Allan Sly, Nike Sun

We establish the satisfiability threshold for random $k$-SAT for all $k\ge k_0$, with $k_0$ an absolute constant. That is, there exists a limiting density ${\alpha }_{\ast }(k)$ such that a rand…