header

Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Local cover image
Image from OpenLibrary
On the weighted partial maximum satis ability problem / Mohamed Hesham Mohamed Emam Elhalaby ; Supervised L. F. Abdelal , Rasha Mohamed Shaheen by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Language: English
Publication details: Cairo : Mohamed Hesham Mohamed Emam Elhalaby , 2015
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics
Other title:
  • دراسة بعض حالات مسألة التحقق الجزئي للصيغة البولياوية ذات الوزن الاكبر
Online resources:
Availability: Items available for reference: قاعة الرسائل الجامعية - الدور الاول: Not for loan (1)Location, call number: Cai01.12.17.M.Sc.2015.Mo.O. مخـــزن الرســائل الجـــامعية - البدروم: Not for loan (1)Location, call number: Cai01.12.17.M.Sc.2015.Mo.O.

Save to lists Add to cart
2.
Local cover image
Image from OpenLibrary
SMT - LH a new satisfiability modulo theory based technique for solving vehicle routing problem with time window constraints / Lydia Wahid Amin Rizkallah ; Supervised Nevin M. Darwish , Mona F. Ahmed by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Language: English
Publication details: Cairo : Lydia Wahid Amin Rizkallah , 2015
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Computer Engineering
Other title:
  • اسلوب مستحدث يستخدم نظرية التعويض المنمذج لحل مشكلة تحديد امثل طرق لتوجيه الناقلات مع وجود محددات زمنية
Online resources:
Availability: Items available for reference: قاعة الرسائل الجامعية - الدور الاول: Not for loan (1)Location, call number: Cai01.13.06.M.Sc.2015.Ly.S. مخـــزن الرســائل الجـــامعية - البدروم: Not for loan (1)Location, call number: Cai01.13.06.M.Sc.2015.Ly.S.

Save to lists Add to cart
3.
Image from OpenLibrary
A New automated integer based technique for solving systems of boolean equations / Ahmed Hamdy Ibrahim Abd El gawad ; Supervised Nevin Mahmoud Darwish , Amir Fouad Sorial Atiya by
Language: Eng
Publication details: Cairo : Ahmed Hamdy Ibrahim Abd El gawad , 2006
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering
Other title:
  • اسلوب مميكن جديد يعتمد على الاعداد الصحيحة لحل انظمة المعادلات البوليانية
Online resources:
Availability: Items available for reference: قاعة الرسائل الجامعية - الدور الاول: Not for loan (1)Location, call number: Cai01.13.06.M.Sc.2006.Ah.N. مخـــزن الرســائل الجـــامعية - البدروم: Not for loan (1)Location, call number: Cai01.13.06.M.Sc.2006.Ah.N.

Save to lists Add to cart
4.
Local cover image
Image from OpenLibrary
An improvement and implementation of the DPLL satisfiability algorithm / Munira Abdelfatah Abdelmaksoud ; Supervised Laila Fahmy Abdelal , Areeg Abdalla by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Language: English
Publication details: Cairo : Munira Abdelfatah Abdelmaksoud , 2018
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics
Other title:
  • DPLLتحسين وتطبيق خوارزم التحقق
Online resources:
Availability: Items available for reference: قاعة الرسائل الجامعية - الدور الاول: Not for loan (1)Location, call number: Cai01.12.17.M.Sc.2018.Mu.I. مخـــزن الرســائل الجـــامعية - البدروم: Not for loan (1)Location, call number: Cai01.12.17.M.Sc.2018.Mu.I.

Save to lists Add to cart