Heras, F., A. Morgado, and J. Marques-Silva. “Core-Guided Binary Search Algorithms for Maximum Satisfiability”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 25, no. 1, Aug. 2011, pp. 36-41, doi:10.1609/aaai.v25i1.7822.