Resolution-based lower bounds in MaxSAT | Publicación