SAT-based MaxSAT algorithms
From MaRDI portal
Recommendations
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Exploiting resolution-based representations for MaxSAT solving
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Cited in
(47)- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Solving MaxSAT with bit-vector optimization
- Minimal sets on propositional formulae. Problems and reductions
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Understanding the complexity of axiom pinpointing in lightweight description logics
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- N-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- Probabilistic characterization of random Max r-Sat
- Using the method of conditional expectations to supply an improved starting point for CCLS
- Clause redundancy and preprocessing in maximum satisfiability
- A novel algorithm for Max Sat calling MOCE to order
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Popularity-similarity random SAT formulas
- Propositional proof systems based on maximum satisfiability
- On the complexity of inconsistency measurement
- Iterative and core-guided maxsat solving: a survey and assessment
- CHAMP: a multipass algorithm for Max Sat based on saver variables
- Go-MOCE: greedy order method of conditional expectations for Max Sat
- Quantified maximum satisfiability
- MaxSAT by improved instance-specific algorithm configuration
- The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
- Query-guided maximum satisfiability
- SAT-based preprocessing for MaxSAT
- Propositional SAT solving
- Solving #SAT and MAXSAT by Dynamic Programming
- New local search methods for partial MaxSAT
- Advances in WASP
- Lower and Upper Bounds for Random Mimimum Satisfiability Problem
- Exploiting resolution-based representations for MaxSAT solving
- A Preprocessor for Max-SAT Solvers
- 2006 and 2007 Max-SAT evaluations: contributed instances
- scientific article; zbMATH DE number 1182571 (Why is no real title available?)
- Breaking cycle structure to improve lower bound for Max-SAT
- Using merging variables-based local search to solve special variants of MaxSAT problem
- RC2: an efficient MaxSAT solver
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
- Hybrid metabolic network completion
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- STACS 2004
- MaxSAT-based scheduling of B2B meetings
- Proofs and Certificates for Max-SAT
- A memetic algorithm for restoring feasibility in scheduling with limited makespan
- Enhancing MaxSAT local search via a unified soft clause weighting scheme
- Solving weighted maximum satisfiability with branch and bound and clause learning
This page was built for publication: SAT-based MaxSAT algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360042)
