WPM3

MaRDI QIDQ5973734swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0004370217300693

Described by source

• WPM3: an (in)complete algorithm for weighted partial MaxSAT

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