Doush, Iyad Abu; Quran, Amal Lutfi; Al-Betar, Mohammed Azmi; Awadallah, Mohammed A; ,Max-sat problem using hybrid harmony search algorithm,Journal of Intelligent Systems,27,4,643-658,2018,De Gruyter