Clausal Form Transformation in MaxSAT | Publicación