Solving Max-SAT as Weighted CSP | Publicación