Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences - Al-Souly, Basmah Abdulaziz; Bennaceur, Hachemi (Riyadh : Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science, 2016)
Thesis (M.A.)Imam Muhammad ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science
includes bibliographical references
Available in CD.9294
1 10
Keywords: artifical intelligence