WPM2

swMATH19790MaRDI QIDQ31614FDOQ31614

Author name not available (Why is that?)

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

Cited In (11)

• New local search methods for partial MaxSAT
• RPOLY
• Runsolver
• QMaxSAT
• MiniMaxSat
• PackUp
• MaxHS
• CCLS
• 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