A SAT-­Based Shikaku Solver

المؤلف الرئيسي:	Al Lehyani, Budoor Ahmad (auth)
مؤلفين آخرين:	Petrisan, Daniela (Advisor) , De Vries, Fer Jan (Advisor)
التاريخ الميلادي:	2011
موقع:	ليستر
الصفحات:	1 - 49
رقم MD:	607960
نوع المحتوى:	رسائل جامعية
اللغة:	الإنجليزية
الدرجة العلمية:	رسالة ماجستير
الجامعة:	University of Leicester
الكلية:	School of Computer Science
الدولة:	بريطانيا
قواعد المعلومات:	+Dissertations
مواضيع:	شيكاغو \| الأهاجي والألغاز \| الرياضيات \| حل الألغاز الرياضية
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.