Mohammed, Salmah Mousbah Zeed; Khader, Ahamad Tajudin; Al-Betar, Mohammed Azmi; ,3-SAT using island-based genetic algorithm,"IEEJ Transactions on Electronics, Information and Systems",136,12,1694-1698,2016,The Institute of Electrical Engineers of Japan