Mapping CSP into Many-Valued SAT | Publicación