A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach (Q3599157): Difference between revisions

@@ Property / cites work @@
+Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
+Normal rank
@@ Property / cites work @@
+Q2728900
@@ Property / cites work: Q2728900 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms - ESA 2003
@@ Property / cites work: Algorithms - ESA 2003 / rank @@
+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 @@
+A new approach to proving upper bounds for MAX-2-SAT
+Normal rank
@@ Property / cites work @@
+New Bounds for MAX-SAT by Clause Learning
@@ Property / cites work: New Bounds for MAX-SAT by Clause Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737518
@@ Property / cites work: Q4737518 / rank @@
+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 @@
+Linear-programming design and analysis of fast algorithms for Max 2-CSP
+Normal rank
@@ Property / cites work @@
+A new algorithm for optimal 2-constraint satisfaction and its implications
+Normal rank