Narodytska, N.; Bacchus, F. Maximum Satisfiability Using Core-Guided MaxSAT Resolution. AAAI 2014, 28.