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]

Authors

Mohamed El-bachir Menai

This author has not been identified. Look up 'Mohamed El-bachir Menai' in Google

Tasniem Nasser Al-Yahya

This author has not been identified. Look up 'Tasniem Nasser Al-Yahya' in Google