Regular Encodings from Max-CSP into Partial Max-SAT | Publicación