Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences - Al-Souly, Basmah Abdulaziz (Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science, 2016)