درحال بارگذاري...
جستجو
جستجو در این منبع
ترتيب بر اساس
گسترش روش برنامه ریزی SAT برای حل مسائل دارای کنشهای تکراری
881 مرتبه مشاهده شده

گسترش روش برنامه ریزی SAT برای حل مسائل دارای کنشهای تکراری

قنبری قوشچی، نینا.

  1. شماره پایان نامه:36851
  2. کد دانشکده:19
  3. پديدآور: قنبری قوشچی، نینا.
  4. عنوان:گسترش روش برنامه ریزی SAT برای حل مسائل دارای کنشهای تکراری.
  5. نام دانشگاه/پژوهشگاه:صنعتی شریف
  6. سال اخذ مدرك:1385
  7. نام دانشکده:مهندسی کامپیوتر
  8. گرایش:کارشناسی ارشد (هوش مصنوعی)
  9. یادداشت:80ص0: کتابنامه؛ چکیده به فارسی و انگلیسی
  10. توصیفگر: برنامه ریزی Planning
  11. توصیفگر: حل کننده صدق پذیری Satisfiability Solver
  12. توصیفگر: استقراء Induction
  13. توصیفگر: برنامه ریز ست پلن Sat-Plan Planner
  14. استاد راهنما. قاسم ثانی، غلامرضا،

 فهرست محتوای دیجیتالی

 فهرست مطالب

اين منبع فهرست مطالبي ندارد

 فهرست نقدها