(1)
Larrosa, J.; Rollon, E. Augmenting the Power of (Partial) MaxSat Resolution With Extension. AAAI 2020, 34, 1561-1568.