A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search. (Q1853552): Difference between revisions

@@ Property / author @@
-Ravindran Kannan
@@ Property / author: Ravindran Kannan / rank @@
-Normal rank
@@ Property / author @@
-Jon M. Kleinberg
@@ Property / author: Jon M. Kleinberg / rank @@
-Normal rank
@@ Property / author @@
-Uwe Schoening
@@ Property / author: Uwe Schoening / rank @@
-Normal rank
@@ Property / author @@
+Ravindran Kannan
@@ Property / author: Ravindran Kannan / rank @@
+Normal rank
@@ Property / author @@
+Jon M. Kleinberg
@@ Property / author: Jon M. Kleinberg / rank @@
+Normal rank
@@ Property / author @@
+Uwe Schoening
@@ Property / author: Uwe Schoening / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57904544
@@ Property / Wikidata QID: Q57904544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5516510
@@ Property / cites work: Q5516510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004338
@@ Property / cites work: Q4004338 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342497
@@ Property / cites work: Q4342497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525695
@@ Property / cites work: Q4525695 / rank @@
+Normal rank
@@ Property / cites work @@
+New worst-case upper bounds for SAT
@@ Property / cites work: New worst-case upper bounds for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+SAT local search algorithms: Worst-case study
@@ Property / cites work: SAT local search algorithms: Worst-case study / rank @@
+Normal rank
@@ Property / cites work @@
+On the greedy algorithm for satisfiability
@@ Property / cites work: On the greedy algorithm for satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375761
@@ Property / cites work: Q4375761 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+Normal rank
@@ Property / cites work @@
+Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+Q4484662
@@ Property / cites work: Q4484662 / rank @@
+Normal rank
@@ Property / cites work @@
+Number of models and satisfiability of sets of clauses
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00174-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2171680292
@@ Property / OpenAlex ID: W2171680292 / rank @@
+Normal rank