A Preprocessor for Max-SAT Solvers (Q3502688): 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 @@
+Exact Max-SAT solvers for over-constrained problems
+Normal rank
@@ Property / cites work @@
+A Complete Calculus for Max-SAT
@@ Property / cites work: A Complete Calculus for Max-SAT / 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 @@
+Local Consistency in Weighted CSPs and Inference in Max-SAT
+Normal rank
@@ Property / cites work @@
+Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
+Normal rank
@@ Property / cites work @@
+Q5435834
@@ Property / cites work: Q5435834 / rank @@
+Normal rank