The Lovász Local Lemma and Satisfiability (Q3644712): Difference between revisions

@@ Property / cites work @@
+Q3503433
@@ Property / cites work: Q3503433 / rank @@
+Normal rank
@@ Property / cites work @@
+On a combinatorial problem. II
@@ Property / cites work: On a combinatorial problem. II / 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 @@
+An algorithmic approach to the Lovász local lemma. I
+Normal rank
@@ 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 @@
+A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q3579374
@@ Property / cites work: Q3579374 / rank @@
+Normal rank
@@ Property / cites work @@
+Lopsided Lovász Local lemma and Latin transversals
+Normal rank
@@ Property / cites work @@
+Using Lovász local lemma in the space of random injections
+Normal rank
@@ Property / cites work @@
+A simplified NP-complete satisfiability problem
@@ Property / cites work: A simplified NP-complete satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete
+Normal rank
@@ Property / cites work @@
+DNF tautologies with a limited number of occurrences of every variable
+Normal rank
@@ Property / cites work @@
+A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable
+Normal rank
@@ Property / cites work @@
+Disproof of the Neighborhood Conjecture with Implications to SAT
+Normal rank
@@ Property / cites work @@
+Combinatorial Games
@@ Property / cites work: Combinatorial Games / rank @@
+Normal rank
@@ Property / cites work @@
+Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+Normal rank
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+Normal rank
@@ Property / cites work @@
+Q4263797
@@ Property / cites work: Q4263797 / rank @@
+Normal rank
@@ Property / cites work @@
+On subclasses of minimal unsatisfiable formulas
@@ Property / cites work: On subclasses of minimal unsatisfiable formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphisms of conjunctive normal forms.
@@ Property / cites work: Homomorphisms of conjunctive normal forms. / rank @@
+Normal rank
@@ Property / cites work @@
+On Linear CNF Formulas
@@ Property / cites work: On Linear CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Ramsay's Theorem to a Problem of Erdos and Hajnal
+Normal rank
@@ Property / cites work @@
+On the chromatic number of set systems
@@ Property / cites work: On the chromatic number of set systems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear CNF formulas and satisfiability
@@ Property / cites work: Linear CNF formulas and satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank