A Kolmogorov complexity proof of the Lovász Local Lemma for satisfiability
2012 ◽
Vol 461
◽
pp. 55-64
◽