WPM2

swMATH19790MaRDI QIDQ31614FDOQ31614

Author name not available (Why is that?)

Cited In (4)

• 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