Core-Guided MaxSAT with Soft Cardinality Constraints | Publicación