On Solving MaxSAT Through SAT | Publicación