Gebauer, H. and Szabó, T. and Tardos, Gábor (2016) The local lemma is asymptotically tight for SAT. JOURNAL OF THE ACM, 63 (5). ISSN 0004-5411