An Algorithmic Proof of the Lovasz Local Lemma via Resampling OraclesNicholas J.A. HarveyJan Vondrák2015FOCS 2015