Approximating Max NAE-$k$-SAT by anonymous local search (Q507440): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.05.040
@@ Property / DOI: 10.1016/j.tcs.2016.05.040 / rank @@
-Normal rank
@@ Property / author @@
-Hong Liu
@@ Property / author: Hong Liu / rank @@
-Normal rank
@@ Property / author @@
+Hong Liu
@@ Property / author: Hong Liu / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W25
@@ Property / Mathematics Subject Classification ID: 68W25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680874
@@ Property / zbMATH DE Number: 6680874 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local search
@@ Property / zbMATH Keywords: local search / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm
@@ Property / zbMATH Keywords: algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+performance ratio
@@ Property / zbMATH Keywords: performance ratio / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Outward rotations
@@ Property / describes a project that uses: Outward rotations / rank @@
+Normal rank
@@ 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.1016/j.tcs.2016.05.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2415155455
@@ Property / OpenAlex ID: W2415155455 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation and Online Algorithms
@@ Property / cites work: Approximation and Online Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Better approximation algorithms for \textsc{Set Splitting} and \textsc{Not-All-Equal Sat}
+Normal rank
@@ Property / cites work @@
+Improved Approximation Algorithms for MAX SAT
@@ Property / cites work: Improved Approximation Algorithms for MAX SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Tight bound on Johnson's algorithm for maximum satisfiability
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+New  $\frac{3}{4}$-Approximation Algorithms for the Maximum Satisfiability Problem
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Q4526964
@@ Property / cites work: Q4526964 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved approximations for max set splitting and max NAE SAT
+Normal rank
@@ Property / cites work @@
+An algorithm based on tabu search for satisfiability problem
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+On Syntactic versus Computational Views of Approximability
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization, approximation, and complexity classes
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Local search characteristics of incomplete SAT procedures
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Outward rotations
@@ Property / cites work: Outward rotations / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Bounds on Local Search to Approximate the Maximum Satisfiability Problems
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.05.040
@@ Property / DOI: 10.1016/J.TCS.2016.05.040 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507440

Approximating Max NAE-\(k\)-SAT by anonymous local search (Q507440): Difference between revisions

Latest revision as of 19:46, 9 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)