SAT-based MaxSAT algorithms | Publicación