Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524): Difference between revisions

@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+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 @@
+Approximation and Online Algorithms
@@ Property / cites work: Approximation and Online Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic aspects in speech recognition
@@ Property / cites work: Algorithmic aspects in speech recognition / rank @@
+Normal rank
@@ Property / cites work @@
+Free Bits, PCPs, and Nonapproximability---Towards Tight Results
+Normal rank
@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+On randomizing two derandomized greedy algorithms
@@ Property / cites work: On randomizing two derandomized greedy algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Greedy Randomized Adaptive Search Procedure for Maximum Independent Set
+Normal rank
@@ Property / cites work @@
+GRASP with path relinking for the weighted MAXSAT problem
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4550772
@@ Property / cites work: Q4550772 / rank @@
+Normal rank
@@ Property / cites work @@
+Guided local search for solving SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Q4375767
@@ Property / cites work: Q4375767 / rank @@
+Normal rank
@@ Property / cites work @@
+Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP
+Normal rank
@@ Property / cites work @@
+Solving weighted MAX-SAT via global equilibrium search
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q5687272
@@ Property / cites work: Q5687272 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete dynamic convexized method for nonlinearly constrained nonlinear integer programming
+Normal rank
@@ Property / cites work @@
+A discrete dynamic convexized method for nonlinear integer programming
+Normal rank
@@ Property / cites work @@
+A discrete dynamic convexized method for VLSI circuit partitioning
+Normal rank