Dealing with 4-variables by resolution: an improved MaxSAT algorithm (Q515546): Difference between revisions

@@ Property / author @@
-Jian'er Chen
@@ Property / author: Jian'er Chen / rank @@
-Normal rank
@@ Property / author @@
-Jianxin Wang
@@ Property / author: Jianxin Wang / rank @@
-Normal rank
@@ Property / author @@
+Jian'er Chen
@@ Property / author: Jian'er Chen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2585244063
@@ Property / OpenAlex ID: W2585244063 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02920
@@ Property / arXiv ID: 1503.02920 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster exact algorithms for hard problems: A parameterized point of view
+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 @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Parameterized MAX-SAT
@@ Property / cites work: A New Algorithm for Parameterized MAX-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Improved exact algorithms for MAX-SAT
@@ Property / cites work: Improved exact algorithms for MAX-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Vertex Cover: Further Observations and Further Improvements
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375757
@@ Property / cites work: Q4375757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002852
@@ Property / cites work: Q3002852 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of \(k\)-SAT
@@ Property / cites work: On the complexity of \(k\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Parameterizing above Guaranteed Values: MaxSat and MaxCut
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact algorithms for dominating set
@@ Property / cites work: Exact algorithms for dominating set / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms – ESA 2005
@@ Property / cites work: Algorithms – ESA 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank