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).