An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (Q1725596): Difference between revisions

@@ Property / cites work @@
+Improving configuration checking for satisfiable random \(k\)-SAT instances
+Normal rank
@@ Property / cites work @@
+WPM3: an (in)complete algorithm for weighted partial MaxSAT
+Normal rank
@@ Property / cites work @@
+Exploiting subproblem optimization in SAT-based maxsat algorithms
+Normal rank
@@ Property / cites work @@
+The Community Structure of SAT Formulas
@@ Property / cites work: The Community Structure of SAT Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Local search for Boolean satisfiability with configuration checking and subscore
+Normal rank
@@ Property / cites work @@
+Local search with edge weighting and configuration checking heuristics for minimum vertex cover
+Normal rank
@@ Property / cites work @@
+GRASP with path relinking for the weighted MAXSAT problem
+Normal rank
@@ Property / cites work @@
+Q2731676
@@ Property / cites work: Q2731676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3145805
@@ Property / cites work: Q3145805 / rank @@
+Normal rank
@@ Property / cites work @@
+Genetic Algorithms and the Optimal Allocation of Trials
+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 @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+A path-relinking algorithm for the multi-mode resource-constrained project scheduling problem
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank