New Insights into Encodings from MaxCSP into Partial MaxSAT | Publicación