How Many Conflicts Does It Need to Be Unsatisfiable? (Q3502712): Difference between revisions

@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The size Ramsey number
@@ Property / cites work: The size Ramsey number / rank @@
+Normal rank
@@ Property / cites work @@
+Q4410010
@@ Property / cites work: Q4410010 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable
+Normal rank
@@ Property / cites work @@
+One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete
+Normal rank
@@ Property / cites work @@
+Branching rules for satisfiability
@@ Property / cites work: Branching rules for satisfiability / 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 @@
+Lopsided Lovász Local lemma and Latin transversals
+Normal rank
@@ Property / cites work @@
+Q2784326
@@ Property / cites work: Q2784326 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Lovász local lemma in the space of random injections
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
+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 @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+Q5309031
@@ Property / cites work: Q5309031 / rank @@
+Normal rank