الاستدلال الآلي: قابلية الحل

تركز هذه الدورة على تطبيق أدوات قابلية الحل SAT/SMT في حل مجموعة واسعة من المشكلات، مثل تركيب المستطيلات لتصميم الملصقات، مشكلات الجدولة، حل الألغاز، والتحقق من صحة البرامج. كما تغطي النظرية الأساسية مثل طريقة الحلول المقترحة باستخدام الاستنتاج، إطار عمل CDCL لتوسيع الحلول إلى صيغ كبيرة، وطريقة simplex للتعامل مع المتباينات الخطية. يمكن متابعة المحاضرات وحل التمارين لفهم أساسيات الموضوع، لكن يُنصح بتطبيق المعرفة عمليًا على المشكلات لزيادة الفهم والمهارات.

• تطبيق أدوات SAT/SMT في حل المشكلات المختلفة
• فهم إطار عمل CDCL وتوسيع الحلول للصيغ الكبيرة
• استخدام طريقة simplex لحل المتباينات الخطية
• تحليل المشكلات النظرية المتعلقة بقابلية الحل

• إلمام أساسي بالمصطلحات والتقنيات المرتبطة بالموضوع
• الاستعداد للممارسة عبر تمارين تطبيقية