Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710): Difference between revisions

@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / author @@
+Vasco M. Manquinho
@@ Property / author: Vasco M. Manquinho / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1559357575
@@ Property / OpenAlex ID: W1559357575 / rank @@
+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 @@
+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