When Conflicting Constraints Can Be Resolved - The Lovsz Local Lemma and Satisfiability.

Emo Welzl

Browse the full ICALP paper archive.