MaxSAT resolution for regular propositional logic (Q6066845): Difference between revisions

@@ Property / cites work @@
+ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
+Normal rank
@@ Property / cites work @@
+Mapping CSP into Many-Valued SAT
@@ Property / cites work: Mapping CSP into Many-Valued SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution procedures for multiple-valued optimization
+Normal rank
@@ Property / cites work @@
+Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
+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 @@
+Q5148371
@@ Property / cites work: Q5148371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701980
@@ Property / cites work: Q2701980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938415
@@ Property / cites work: Q4938415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475627
@@ Property / cites work: Q4475627 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem
+Normal rank
@@ Property / cites work @@
+Equivalence between systems stronger than resolution
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+New Tableau Characterizations for Non-clausal <scp>MaxSAT</scp> Problem
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Short Conjunctive Normal Forms in Finitely Valued Logics
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On tackling the limits of resolution in SAT solving
+Normal rank
@@ Property / cites work @@
+A logical approach to efficient Max-SAT solving
@@ Property / cites work: A logical approach to efficient Max-SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a better understanding of (partial weighted) MaxSAT proof systems
+Normal rank
@@ Property / cites work @@
+Exploiting Cycle Structures in Max-SAT
@@ Property / cites work: Exploiting Cycle Structures in Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau calculus for non-clausal maximum satisfiability
+Normal rank
@@ Property / cites work @@
+Q4542611
@@ Property / cites work: Q4542611 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving the Team Composition Problem in a Classroom
+Normal rank
@@ Property / cites work @@
+Boolean lexicographic optimization: algorithms \& applications
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank