A Kolmogorov complexity proof of the Lovász local lemma for satisfiability (Q690463): Difference between revisions

@@ Property / cites work @@
+A parallel algorithmic version of the local lemma
@@ Property / cites work: A parallel algorithmic version of the local lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004078
@@ Property / cites work: Q4004078 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic approach to the Lovász local lemma. I
+Normal rank
@@ Property / cites work @@
+Q4806962
@@ Property / cites work: Q4806962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074927
@@ Property / cites work: Q4074927 / rank @@
+Normal rank
@@ Property / cites work @@
+Lopsided Lovász Local lemma and Latin transversals
+Normal rank
@@ Property / cites work @@
+Disproof of the Neighborhood Conjecture with Implications to SAT
+Normal rank
@@ Property / cites work @@
+The Lovász Local Lemma and Satisfiability
@@ Property / cites work: The Lovász Local Lemma and Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365071
@@ Property / cites work: Q5365071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Kolmogorov complexity and its applications
+Normal rank
@@ Property / cites work @@
+Hypergraph colouring and the Lovász local lemma
@@ Property / cites work: Hypergraph colouring and the Lovász local lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the general lovász local lemma
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Lovász local lemma
@@ Property / cites work: A constructive proof of the Lovász local lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756798
@@ Property / cites work: Q2756798 / rank @@
+Normal rank
@@ Property / cites work @@
+On a problem of Spencer
@@ Property / cites work: On a problem of Spencer / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic lower bounds for Ramsey functions
@@ Property / cites work: Asymptotic lower bounds for Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3579374
@@ Property / cites work: Q3579374 / rank @@
+Normal rank