On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061): Difference between revisions

@@ Property / cites work @@
+New Bounds for Oblivious Mesh Routing
@@ Property / cites work: New Bounds for Oblivious Mesh Routing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
+Normal rank
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank
@@ Property / cites work @@
+Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining reversible DAC for Max-CSP
@@ Property / cites work: Maintaining reversible DAC for Max-CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+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 @@
+Q4938415
@@ Property / cites work: Q4938415 / 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 @@
+Exact Max-SAT solvers for over-constrained problems
+Normal rank