A SAT-based Shikaku Solver
| المؤلف الرئيسي: | Al Lehyani, Budoor Ahmad |
|---|---|
| مؤلفين آخرين: | Petrisan, Daniela, De Vries, Fer Jan (super) |
| التاريخ الميلادي: |
2011
|
| موقع: | لستر |
| الصفحات: | 1 - 49 |
| رقم MD: | 607960 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة ماجستير |
| الجامعة | University of Leicester |
| الكلية | School of Computer Science |
| الدولة | بريطانيا |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| الوصف المادي: |
1 - 49 |
|---|
عناصر مشابهة
-
Slither Link Solver
بواسطة: Al Sefri, Nuha Hamdan M. منشور: (2012) -
Light up' Solver
بواسطة: Al Qasab, Mariam Saleh J. منشور: (2011) -
An Implementation For Sudoku Using Different Algorithms
بواسطة: Al Maraashi, Majid منشور: (2008) -
ظاهرة اللبس الإعرابي في الشواهد الفصيحة و أبيات الألغاز النحوية
بواسطة: الرفوع، علاء أحمد منشور: (2005) -
الألغاز الشعبية في مدينة قسنطينة
بواسطة: بوشلخ، بسمة منشور: (2011)