Mumtaz Ali <br/><br/>
Digital circuit evolution using sat solver  

 - Islamabad  NUST university  2013 
 - 37p. :  CD-ROM 
<br/><br/> Supervisor: Dr. Osman Hassan 
<br/><br/><label>Dewey Class. No.: </label>MSEE-3