A New Encoding from MinSAT into MaxSAT | Publicación