Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063): Difference between revisions

@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaxHS
@@ Property / describes a project that uses: MaxHS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WPM2
@@ Property / describes a project that uses: WPM2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10732-015-9300-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1863234917
@@ Property / OpenAlex ID: W1863234917 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+New Encodings of Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+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 @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo the Theory of Costs: Foundations and Applications
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting the Power of mip Solvers in maxsat
@@ Property / cites work: Exploiting the Power of mip Solvers in maxsat / 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 @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Consistency in Weighted CSPs and Inference in Max-SAT
+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 @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+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 @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Unsatisfiability-Based Algorithms for Boolean Optimization
+Normal rank
@@ Property / cites work @@
+Boolean lexicographic optimization: algorithms \& applications
+Normal rank
@@ Property / cites work @@
+Improvements to Core-Guided Binary Search for MaxSAT
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Metaheuristics—the metaphor exposed
@@ Property / cites work: Metaheuristics—the metaphor exposed / rank @@
+Normal rank