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