WPM2

MaRDI QIDQ31614swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-40627-0_12

Cited in

(11)

• RPOLY
• Runsolver
• QMaxSAT
• MiniMaxSat
• PackUp
• MaxHS
• CCLS
• New local search methods for partial MaxSAT
• CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
• WPM3: an (in)complete algorithm for weighted partial MaxSAT
• Exploiting subproblem optimization in SAT-based maxsat algorithms

This page was built for software: WPM2