Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences 2026-02-16T08:30:40+03:00 DEBUG: VuFind\ILS\Driver\Folio: Token taken from global cache: eyJhbGciOiJIUzI1NiJ9.eyJzdWIiO... - Al-Souly, Basmah Abdulaziz (Al-Imam Muhammad Ibn Saud Islamic University, College of Computer and Information Sciences, Department of Computer Science, 2016)