A New Algorithm for Weighted Partial MaxSAT | Publicación