The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT (Q3637173): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02777-2_27
+Normal rank
@@ Property / OpenAlex ID @@
+W184791457
@@ Property / OpenAlex ID: W184791457 / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
+Normal rank
@@ Property / cites work @@
+Graph-Theoretic Concepts in Computer Science
@@ Property / cites work: Graph-Theoretic Concepts in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding first-order properties of locally tree-decomposable structures
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+How easy is local search?
@@ Property / cites work: How easy is local search? / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Search and Placement of Meters in Networks
+Normal rank
@@ Property / cites work @@
+On the Hardness of Losing Weight
@@ Property / cites work: On the Hardness of Losing Weight / rank @@
+Normal rank
@@ Property / cites work @@
+Searching the \(k\)-change neighborhood for TSP is W[1]-hard
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems
+Normal rank
@@ Property / cites work @@
+Analyses on the 2 and 3-flip neighborhoods for the MAX SAT
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637173