Reducing SAT to Max2SAT | Publicación