Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation | Publicación