Improved Exact Solvers for Weighted Max-SAT | Publicación