Lower Bounds and Upper Bounds for MaxSAT | Publicación