Ansotegui, C.; Bonet, M. L.; Levy, J. A New Algorithm for Weighted Partial MaxSAT. AAAI 2010, 24, 3-8.