swMATH41870MaRDI QIDQ5973734FDOQ5973734
Author name not available (Why is that?)
Official website: https://www.sciencedirect.com/science/article/pii/S0004370217300693
Cited In (18)
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Polarity and variable selection heuristics for SAT-based anytime MaxSAT
- SAT-based models for overlapping community detection in networks
- Sat4j
- QMaxSAT
- MiniMaxSat
- Open-WBO
- CFinder
- LMHS
- MaxHS
- maxino
- CCLS
- CCEHC
- SATLike
- RC2
- Open-WBO-Inc
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
This page was built for software: WPM3
