Heidi Gebauer, Tibor Szabó, Gábor Tardos. The Local Lemma is Tight for SAT. In Dana Randall, editor, Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011. pages 664-674, SIAM, 2011. [doi]
Abstract is missing.