@Article{MesThi12,
author = "Messner, Jochen and Thierauf, Thomas",
title = "A {K}olmogorov Complexity Proof of the {L}ov{\'a}sz {L}ocal {L}emma for Satisfiability",
journal = "Theoretical Computer Science",
volume = "461",
pages = "55-64",
year = "2012",
}