(1)
Heras, F.; Morgado, A.; Marques-Silva, J. Core-Guided Binary Search Algorithms for Maximum Satisfiability. AAAI 2011, 25, 36-41.