Cavalar, Bruno.
" An Algorithmic Version of the Lovász Local Lemma" <em>Proceedings of  the Theory of Computation Meeting (ETC)</em> [Online], (2 July 2017)