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