TY  - GEN
AU  - Ahmed Hamdy Ibrahim Abd El gawad
AU  - Amir Fouad Sorial Atiya , 
AU  - Nevin Mahmoud Darwish , 
TI  - A New automated integer based technique for solving systems of boolean equations / 
PY  - 2006///
CY  - Cairo : 
PB  - Ahmed Hamdy Ibrahim Abd El gawad , 
KW  - Boolean satisfiability problem
KW  - Combinational circuits and cryptography
KW  - Systems of boolean
N1  - Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering; Issued also as CD
N2  - This 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
UR  - http://172.23.153.220/th.pdf
ER  -