C. Ansotegui, M. L. Bonet, and J. Levy, “A New Algorithm for Weighted Partial MaxSAT”, AAAI, vol. 24, no. 1, pp. 3–8, Jul. 2010.