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)

• 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