A taxonomy of exact methods for partial Max-SAT (Q2434567): Difference between revisions

@@ Property / DOI @@
-.1007/s11390-013-1325-5
@@ Property / DOI: 10.1007/s11390-013-1325-5 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+UnitWalk
@@ Property / describes a project that uses: UnitWalk / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alloy
@@ Property / describes a project that uses: Alloy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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 @@
+QingTing1
@@ Property / describes a project that uses: QingTing1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TestEra
@@ Property / describes a project that uses: TestEra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ZRes
@@ Property / describes a project that uses: ZRes / 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/s11390-013-1325-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2080871662
@@ Property / OpenAlex ID: W2080871662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553262
@@ Property / cites work: Q4553262 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4431379
@@ Property / cites work: Q4431379 / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386971
@@ Property / cites work: Q4386971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375757
@@ Property / cites work: Q4375757 / 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 @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
+Normal rank
@@ Property / cites work @@
+Boosting complete techniques thanks to local search methods
+Normal rank
@@ Property / cites work @@
+Q4375756
@@ Property / cites work: Q4375756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715661
@@ Property / cites work: Q5715661 / rank @@
+Normal rank
@@ Property / cites work @@
+The state of SAT
@@ Property / cites work: The state of SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Decision Procedure for Arithmetic with Function Symbols
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835049
@@ Property / cites work: Q3835049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490989
@@ Property / cites work: Q3490989 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+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 @@
+Optimal Protein Structure Alignment Using Maximum Cliques
+Normal rank
@@ Property / cites work @@
+Algorithm for optimal winner determination in combinatorial auctions
+Normal rank
@@ Property / cites work @@
+Q4375773
@@ Property / cites work: Q4375773 / rank @@
+Normal rank
@@ Property / cites work @@
+SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723442
@@ Property / cites work: Q2723442 / rank @@
+Normal rank
@@ Property / cites work @@
+An Automatic Method of Solving Discrete Programming Problems
+Normal rank
@@ Property / cites work @@
+Q3604006
@@ Property / cites work: Q3604006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+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 @@
+Exploiting Cycle Structures in Max-SAT
@@ Property / cites work: Exploiting Cycle Structures in Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+On Inconsistent Clause-Subsets for Max-SAT Solving
+Normal rank
@@ Property / cites work @@
+Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Consistency in Weighted CSPs and Inference in Max-SAT
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+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 @@
+Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11390-013-1325-5
@@ Property / DOI: 10.1007/S11390-013-1325-5 / rank @@
+Normal rank