أرسل هذا في رسالة قصيرة: Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences /