F. Heras, A. Morgado, and J. Marques-Silva, “Core-Guided Binary Search Algorithms for Maximum Satisfiability”, AAAI, vol. 25, no. 1, pp. 36-41, Aug. 2011.