A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870): Difference between revisions

@@ Property / cites work @@
+Faster exact algorithms for hard problems: A parameterized point of view
+Normal rank
@@ Property / cites work @@
+An efficient solver for weighted Max-SAT
@@ Property / cites work: An efficient solver for weighted Max-SAT / rank @@
+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 @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q4550772
@@ Property / cites work: Q4550772 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental and Efficient Algorithms
@@ Property / cites work: Experimental and Efficient Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Tabu Search—Part I
@@ Property / cites work: Tabu Search—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2--6, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Consistency in Weighted CSPs and Inference in Max-SAT
+Normal rank
@@ Property / cites work @@
+Q4737518
@@ Property / cites work: Q4737518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming based approaches to the break minimization problem
+Normal rank
@@ Property / cites work @@
+Q5491984
@@ Property / cites work: Q5491984 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated tabu search for the maximum diversity problem
+Normal rank
@@ Property / cites work @@
+On the recursive largest first algorithm for graph colouring
+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
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank