Al-Souly, B. A., & Bennaceur, H. (2016). Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences. Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Al-Souly, Basmah Abdulaziz, و Hachemi Bennaceur. Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences. Riyadh: Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science, 2016.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Al-Souly, Basmah Abdulaziz, و Hachemi Bennaceur. Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences. Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science, 2016.