Emo Welzl. When Conflicting Constraints Can Be Resolved - The Lovász Local Lemma and Satisfiability. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Volume 6198 of Lecture Notes in Computer Science, pages 18, Springer, 2010. [doi]
Abstract is missing.