In the first video of Week 7, we state and prove the running time of the Moser-Tardos Algorithm for the Local Lemma.
No download links available.