N. Narodytska and F. Bacchus, “Maximum Satisfiability Using Core-Guided MaxSAT Resolution”, AAAI, vol. 28, no. 1, Jun. 2014.