S. Cai, C. Luo, J. Thornton, and K. Su, “Tailoring Local Search for Partial MaxSAT”, AAAI, vol. 28, no. 1, Jun. 2014.