Jian Ding, Allan Sly, Nike Sun. Proof of the Satisfiability Conjecture for Large k. In Rocco A. Servedio, Ronitt Rubinfeld, editors, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015. pages 59-68, ACM, 2015. [doi]
Abstract is missing.