On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972): Difference between revisions

@@ Property / cites work @@
+ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean lexicographic optimization: algorithms \& applications
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability problems with preferences
@@ Property / cites work: Solving satisfiability problems with preferences / rank @@
+Normal rank
@@ Property / cites work @@
+Connections in Networks: Hardness of Feasibility Versus Optimality
+Normal rank
@@ Property / cites work @@
+Optimizing with minimum satisfiability
@@ Property / cites work: Optimizing with minimum satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based lower bounds in MaxSAT
@@ Property / cites work: Resolution-based lower bounds in MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475628
@@ Property / cites work: Q4475628 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of complexity transitions on the asymmetric traveling salesman problem
+Normal rank