QMaxSAT
From MaRDI portal
Cited in
(48)- OptSAT
- Open-WBO-Inc
- pytket
- MaxSolver
- A constraint optimization approach to causal discovery from subsampled time series data
- On tackling the limits of resolution in SAT solving
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- RPOLY
- Sat4j
- ToulBar2
- OPIUM
- N-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- Using the method of conditional expectations to supply an improved starting point for CCLS
- A novel algorithm for Max Sat calling MOCE to order
- MGTP
- MiniMaxSat
- MSUnCore
- Open-WBO
- PackUp
- GlueMiniSat
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Improved WPM encoding for coalition structure generation under MC-nets
- Iterative and core-guided maxsat solving: a survey and assessment
- CCASat
- Abstract cores in implicit hitting set MaxSat solving
- CHAMP: a multipass algorithm for Max Sat based on saver variables
- Go-MOCE: greedy order method of conditional expectations for Max Sat
- QMaxSATpb: a certified MaxSAT solver
- MaxSAT by improved instance-specific algorithm configuration
- QMaxSAT: A partial Max-SAT solver
- Improvements to core-guided binary search for MaxSAT
- LMHS
- WPM2
- Open-WBO: a modular MaxSAT solver
- New local search methods for partial MaxSAT
- MaxHS
- Exploiting resolution-based representations for MaxSAT solving
- maxino
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
- Resizing cardinality constraints for MaxSAT
- SATLike
- RC2
- CCLS
- CCEHC
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- WPM3
This page was built for software: QMaxSAT
