Categories of MAXSAT
- MAXSAT (ms) (standard MAXSAT ): no hard clauses and all clause have weight 1.
- Solution maximizes the number of satisfied clauses.
- Weighted MAXSAT (wms): no hard clauses.
- Partial MAXSAT (pms): have hard clauses but all soft clauses have weight 1.
- Weighted Partial MAXSAT (wpms): the version we have defined here (subsumes all other versions).