Exact Algorithms for MAX-SAT | Publicación