Cavalar, B.
2017 Jul  2.  An Algorithmic Version of the Lovász Local Lemma. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :