Augmenting the Power of (Partial) MaxSat Resolution with Extension | Publicación