Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710): 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 @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435834
@@ Property / cites work: Q5435834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429158
@@ Property / cites work: Q3429158 / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Dependency in Local Search: Prevention Is Better Than Cure
+Normal rank