Solving (Weighted) Partial MaxSAT through Satisfiability Testing | Publicación