%0 Journal Article %1 journals/tcs/MessnerT12 %A Messner, Jochen %A Thierauf, Thomas %D 2012 %J Theor. Comput. Sci. %K %P 55-64 %T A Kolmogorov complexity proof of the Lovász Local Lemma for satisfiability. %U http://dblp.uni-trier.de/db/journals/tcs/tcs461.html#MessnerT12 %V 461

@article{journals/tcs/MessnerT12, added-at = {2023-12-12T18:26:04.000+0100}, author = {Messner, Jochen and Thierauf, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a749c6beff2e678a546b9993bf092771/admin}, ee = {http://dx.doi.org/10.1016/j.tcs.2012.06.005}, interhash = {12408e29c276bb7d07190197306d7450}, intrahash = {a749c6beff2e678a546b9993bf092771}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {55-64}, timestamp = {2023-12-12T18:26:04.000+0100}, title = {A Kolmogorov complexity proof of the Lovász Local Lemma for satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs461.html#MessnerT12}, volume = 461, year = 2012 }