WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676): Difference between revisions

@@ Property / describes a project that uses @@
+CCLS
@@ Property / describes a project that uses: CCLS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+maxino
@@ Property / describes a project that uses: maxino / 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.1016/j.artint.2017.05.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2621108739
@@ Property / OpenAlex ID: W2621108739 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Protein Structure Alignment Using Maximum Cliques
+Normal rank
@@ Property / cites work @@
+Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
+Normal rank
@@ Property / cites work @@
+Curriculum-based course timetabling with SAT and MaxSAT
+Normal rank
@@ Property / cites work @@
+A ``logic-constrained'' knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite
+Normal rank
@@ Property / cites work @@
+Q3604009
@@ Property / cites work: Q3604009 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+New local search methods for partial MaxSAT
@@ Property / cites work: New local search methods for partial MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Exploiting subproblem optimization in SAT-based maxsat algorithms
+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 @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Improvements to Core-Guided Binary Search for MaxSAT
+Normal rank
@@ Property / cites work @@
+Cardinality networks: a theoretical and empirical study
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / 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 @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+New Encodings of Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+MaxSAT by improved instance-specific algorithm configuration
+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