Improving WPM2 for (Weighted) Partial MaxSAT | Publicación