Exploiting Many-Valued Variables in MaxSAT | Publicación