Algorithmic and enumerative aspects of the Moser-Tardos distribution

David G. Harris, Aravind Srinivasan

Moser & Tardos have developed a powerful algorithmic approach (henceforth "MT") to the Lovasz Local Lemma (LLL); the basic operation done in MT and its variants is a search for "ba…