Verifying Algorithmic Versions of the Lovsz Local Lemma.

Rongen Lin, Hongjin Liang, Xinyu Feng

Browse the full ESOP paper archive.