Towards Solving Many-Valued MaxSAT | Publicación