| 000 | 015750000a22003370004500 | ||
|---|---|---|---|
| 003 | EG-GICUC | ||
| 005 | 20250223031721.0 | ||
| 008 | 070225s2006 ua f m 000 0 eng d | ||
| 040 |
_aEG-GICUC _beng _cEG-GICUC |
||
| 041 | 0 | _aEng | |
| 049 | _aDeposite | ||
| 097 | _aM.Sc | ||
| 099 | _aCai01.13.06.M.Sc.2006.Ah.N | ||
| 100 | 0 | _aAhmed Hamdy Ibrahim Abd El gawad | |
| 245 | 1 | 2 |
_aA New automated integer based technique for solving systems of boolean equations / _cAhmed Hamdy Ibrahim Abd El gawad ; Supervised Nevin Mahmoud Darwish , Amir Fouad Sorial Atiya |
| 246 | 1 | 5 | _aاسلوب مميكن جديد يعتمد على الاعداد الصحيحة لحل انظمة المعادلات البوليانية |
| 260 |
_aCairo : _bAhmed Hamdy Ibrahim Abd El gawad , _c2006 |
||
| 300 |
_a82P ; _c30cm |
||
| 502 | _aThesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering | ||
| 520 | _aThis thesis addresses the problem of Boolean satisfiability In particular , it presents a tool for solving the heart of the problem which is the solution of a system of Boolean equations by presenting a new method for the solution | ||
| 530 | _aIssued also as CD | ||
| 653 | 4 | _aBoolean satisfiability problem | |
| 653 | 4 | _aCombinational circuits and cryptography | |
| 653 | 4 | _aSystems of boolean | |
| 700 | 0 |
_aAmir Fouad Sorial Atiya , _eSupervisor |
|
| 700 | 0 |
_aNevin Mahmoud Darwish , _eSupervisor |
|
| 856 | _uhttp://172.23.153.220/th.pdf | ||
| 905 |
_aMustafa _eRevisor |
||
| 905 |
_aSamia _eCataloger |
||
| 942 |
_2ddc _cTH |
||
| 999 |
_c60811 _d60811 |
||