%0 Journal Article %1 journals/eccc/MessnerT11 %A Messner, Jochen %A Thierauf, Thomas %D 2011 %J Electron. Colloquium Comput. Complex. %K dblp %T A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability. %U http://dblp.uni-trier.de/db/journals/eccc/eccc18.html#MessnerT11 %V TR11

@article{journals/eccc/MessnerT11, added-at = {2022-09-27T00:00:00.000+0200}, author = {Messner, Jochen and Thierauf, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2e09c7465685aeedcd55becaac95a0cb0/dblp}, ee = {https://eccc.weizmann.ac.il/report/2011/018}, interhash = {89e6575751201f734031039cbb8c5639}, intrahash = {e09c7465685aeedcd55becaac95a0cb0}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:09:42.000+0200}, title = {A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc18.html#MessnerT11}, volume = {TR11}, year = 2011 }