RC2
From MaRDI portal
Cited in
(44)- Clause redundancy and preprocessing in maximum satisfiability
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Using merging variables-based local search to solve special variants of MaxSAT problem
- Abstract cores in implicit hitting set MaxSat solving
- A proof builder for Max-SAT
- Efficient SAT-based minimal model generation methods for modal logic S5
- SymChaff
- Sat4j
- BL data set
- QMaxSAT
- MiniMaxSat
- NESCOND
- Open-WBO
- PackUp
- LMHS
- VIPR
- PySMT
- WPM2
- MaxHS
- MaxPre
- Tweety
- PySAT
- PyMiniSolvers
- SATisPy
- PESPLib
- BooleForce
- MapleCOMSPS_LRB
- maxino
- vOptLib
- CCLS
- CCEHC
- GenericWrapper4AC
- Understanding the power of Max-SAT resolution through up-resilience
- Assessing progress in SAT solvers through the Lens of incremental SAT
- WPM3
- QMaxSATpb
- OptiLog
- SAT-based rigorous explanations for decision lists
- Open-WBO-Inc
- BtorMC
- MergeSat
- MLIC
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- InfOCF-Web
This page was built for software: RC2
