درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
881 مرتبه مشاهده شده
گسترش روش برنامه ریزی SAT برای حل مسائل دارای کنشهای تکراری
قنبری قوشچی، نینا.
- شماره پایان نامه:36851
- کد دانشکده:19
- پديدآور: قنبری قوشچی، نینا.
- عنوان:گسترش روش برنامه ریزی SAT برای حل مسائل دارای کنشهای تکراری.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1385
- نام دانشکده:مهندسی کامپیوتر
- گرایش:کارشناسی ارشد (هوش مصنوعی)
- یادداشت:80ص0: کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: برنامه ریزی Planning
- توصیفگر: حل کننده صدق پذیری Satisfiability Solver
- توصیفگر: استقراء Induction
- توصیفگر: برنامه ریز ست پلن Sat-Plan Planner
- استاد راهنما. قاسم ثانی، غلامرضا،
-
محتواي پايان نامه
- مشاهده