Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
A constructive proof of the general Lovasz Local Lemma
Robin A. Moser and Gábor Tardos, "A constructive proof of the general Lovász Local Lemma," arXiv:0903.0544 (2009).
What the research consumes
The card carries the digest of Algorithm 1.1, Theorem 1.2, the parallel and derandomized variants, and the lopsidependency extension. Reading depth is claims checked for Theorem 1.1 in the held copy.
Linked from (1)
Graph