Ahmed Hamdy Ibrahim Abd El gawad <br/><br/>
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 
 - Cairo :   Ahmed Hamdy Ibrahim Abd El gawad ,   2006 
 - 82P ;   30cm 
<br/><br/>Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering 
<br/><br/> 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 
<br/><br/>
<br/><br/><label>Subjects--Index Terms: </label>Boolean satisfiability problem Combinational circuits and cryptography Systems of boolean