header

On the weighted partial maximum satis ability problem / (Record no. 54413)

MARC details
000 -LEADER
fixed length control field 02164cam a2200337 a 4500
003 - CONTROL NUMBER IDENTIFIER
control field EG-GiCUC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250223031407.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160112s2015 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.2015.Mo.O
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Mohamed Hesham Mohamed Emam Elhalaby
245 10 - TITLE STATEMENT
Title On the weighted partial maximum satis ability problem /
Statement of responsibility, etc. Mohamed Hesham Mohamed Emam Elhalaby ; Supervised L. F. Abdelal , Rasha Mohamed Shaheen
246 15 - VARYING FORM OF TITLE
Title proper/short title دراسة بعض حالات مسألة التحقق الجزئي للصيغة البولياوية ذات الوزن الاكبر
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cairo :
Name of publisher, distributor, etc. Mohamed Hesham Mohamed Emam Elhalaby ,
Date of publication, distribution, etc. 2015
300 ## - PHYSICAL DESCRIPTION
Extent 195 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. This thesis is concerned with the Weighted Partial Maximum Satis- ability problem (WPMax-SAT). Let z = zS{u222A}zH be a Boolean formula such that zS = {(C1, w1), . . . , (Cs, ws)} and zH = {(Cs+1, {u221E}), . . . , (Cs+h, {u221E})}, Ci, (1 {u2264} i {u2264} s + h) are clauses and wj, (1 {u2264} j {u2264} s + h) (called weights) is either a natural number or {u221E}. The WPMax-SAT problem for z is nding an assignment that satis es all the hard clauses and maximizes the sum of the weights of the soft clauses. We dis- cuss four aspects of WPMax-SAT. The rst is the computational complexity of the problem from the classical and the parametrized perspectives. Secondly, the two solving techniques of WPMax-SAT: branch and bound and SAT-based methods. Third, our experimental investigation on a number of selected solvers. Finally, the applica- tions of WPMax-SAT in real-life.
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Issued also as CD
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Boolean formula
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computational complexity
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Satisfiability
700 0# - ADDED ENTRY--PERSONAL NAME
Personal name Laila Fafmy Abdelal ,
Relator term
700 0# - ADDED ENTRY--PERSONAL NAME
Personal name Rasha Mohamed Shaheen ,
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 Nazla
Reviser Revisor
905 ## - LOCAL DATA ELEMENT E, LDE (RLIN)
Cataloger Soheir
Reviser Cataloger
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Thesis
Holdings
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.2015.Mo.O 01010110067559000 22.09.2023 Thesis  
Dewey Decimal Classification   المكتبة المركزبة الجديدة - جامعة القاهرة مخـــزن الرســائل الجـــامعية - البدروم 11.02.2024 Cai01.12.17.M.Sc.2015.Mo.O 01020110067559000 22.09.2023 CD - Rom 67559.CD