[1]
J. Larrosa and E. Rollon, “Augmenting the Power of (Partial) MaxSat Resolution with Extension”, AAAI, vol. 34, no. 02, pp. 1561-1568, Apr. 2020.