Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT | Publicación