Many-Valued MinSAT Solving | Publicación