Improving exact algorithms for MAX-2-SAT (Q812398): Difference between revisions

@@ Property / author @@
-Han-Tao Zhang
@@ Property / author: Han-Tao Zhang / rank @@
-Normal rank
@@ Property / author @@
+Han-Tao Zhang
@@ Property / author: Han-Tao Zhang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MAX-2-SAT
@@ Property / describes a project that uses: MAX-2-SAT / 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.1007/s10472-005-7036-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1984322914
@@ Property / OpenAlex ID: W1984322914 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Q5687265
@@ Property / cites work: Q5687265 / 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 @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501522
@@ Property / cites work: Q4501522 / 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 @@
+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 @@
+An Empirical Study of MAX-2-SAT Phase Transitions
@@ Property / cites work: An Empirical Study of MAX-2-SAT Phase Transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Improving exact algorithms for MAX-2-SAT
@@ Property / cites work: Improving exact algorithms for MAX-2-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / rank @@
+Normal rank