Exact Max-SAT solvers for over-constrained problems | Publicación