The MaxSAT Problem in the Real-Valued MV-Algebra | Publicación