Cited in
(18)- SAT-based models for overlapping community detection in networks
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
- Sat4j
- QMaxSAT
- MiniMaxSat
- Open-WBO
- CFinder
- LMHS
- MaxHS
- maxino
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- CCLS
- CCEHC
- SATLike
- RC2
- Polarity and variable selection heuristics for SAT-based anytime MaxSAT
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Open-WBO-Inc
This page was built for software: WPM3
