Improving SAT-Based Weighted MaxSAT Solvers | Publicación