إشباع القيود, الذكاء الاصطناعي, حل المشكلات, خوارزميات البحثالبحث المحلي (إشباع القيود) (Local Search (Constraint Satisfaction))