Your search returned 4 results.

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; 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:

Click here to access online

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.

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; 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:

Click here to access online

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.

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:

Click here to access online

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.

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; 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:

Click here to access online

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.

Not finding what you're looking for?

Make a purchase suggestion

جامعة القاهرة

المكتبة المركزية الجديدة

مكتبة جامعة القاهرة الأهلية

Refine your search

Availability

Authors

Holding libraries

Item types

Your search returned 4 results.