A Taxonomy of Exact Methods for Partial Max-SAT

Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya. A Taxonomy of Exact Methods for Partial Max-SAT. J. Comput. Sci. Technol., 28(2):232-246, 2013. [doi]

Abstract

Abstract is missing.