TY  - RPRT
TI  - The Local Lemma is asymptotically tight for SAT
AU  - Heidi Gebauer
AU  - Tibor Szabo
AU  - Gabor Tardos
PY  - 2016
UR  - https://arxiv.org/abs/1006.0744
ID  - 1006.0744
ER  -