Beck, József (1991), "An algorithmic approach to the Lovász Local Lemma. I", Random Structures and Algorithms, 2 (4): 343–366, doi:10.1002/rsa.3240020402.
Piotr Berman, Marek Karpinski and Alexander D. Scott, Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT
], ECCC TR 03-022(2003).