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 wei…