WPM2
From MaRDI portal
Software:31614
No author found.
Related Items (4)
New local search methods for partial MaxSAT ⋮ WPM3: an (in)complete algorithm for weighted partial MaxSAT ⋮ CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability ⋮ Exploiting subproblem optimization in SAT-based maxsat algorithms
This page was built for software: WPM2
