BibTeX



@Article{MesThi12,
  author =       "Messner, Jochen  and Thierauf, Thomas",
  title =        "A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability",
  journal =      "Theoretical Computer Science",
  volume =       "461",
  pages =        "55-64",
  year =         "2012",
}