An improvement and implementation of the DPLL satisfiability algorithm / (Record no. 73603)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02274cam a2200337 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223032350.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 190902s2018 ua d f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.12.17.M.Sc.2018.Mu.I |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Munira Abdelfatah Abdelmaksoud |
| 245 13 - TITLE STATEMENT | |
| Title | An improvement and implementation of the DPLL satisfiability algorithm / |
| Statement of responsibility, etc. | Munira Abdelfatah Abdelmaksoud ; Supervised Laila Fahmy Abdelal , Areeg Abdalla |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | DPLLتحسين وتطبيق خوارزم التحقق |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Munira Abdelfatah Abdelmaksoud , |
| Date of publication, distribution, etc. | 2018 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 64 P. : |
| Other physical details | charts ; |
| Dimensions | 25cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Science - Department of Mathematics |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The propositional satisfiability problem (SAT) is a central problem in theoretical computer science. Given a propositional (boolean) formula, SAT searches for an assignment of variables such that the formula evaluates to 1 (True), or a proof that no such assignment exists. Due to its importance, there have been many algorithms for testing the satisfiability. The most well-known one was introduced by (M. Davis, H. Putnam, G.Logemann and D. Loveland) (DPLL) in 1962 is still developed to date. It is considered the basis for almost all modern SAT solvers. SAT has several applications in computer science as well as in mathematics. One of which is computing Van der Waerden numbers, which are known to be very hard to compute. Coding combinatorics problems as SAT was the road to modify modern SAT solvers. In this thesis, we have proposed two new solvers as modifications of the well-known SAT solver, MINISAT. They are applied in computing the Van der Waerden numbers. For all the known measures, experiments showed that the new solvers outperformed the MINISAT in computing many of Van der Waerden numbers |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | DPLL |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | MINISAT |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Satisfiability |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Areeg Abdalla , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Laila Fahmy Abdelal , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Asmaa |
| Reviser | Cataloger |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.12.17.M.Sc.2018.Mu.I | 01010110078995000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.12.17.M.Sc.2018.Mu.I | 01020110078995000 | 22.09.2023 | CD - Rom | 78995.CD |