There has been substantial progress on algorithmic versions and
generalizations of the Lovasz Local Lemma recently, with some of
the main ideas getting simplified as well. I will survey some of
the main ideas of Moser & Tardos, Pegden, and David...
Read More