TY  - BOOK
AU  - Mumtaz Ali
TI  - Digital circuit evolution using sat solver 
U1  - MSEE-3 
PY  - 2013///
CY  - Islamabad
PB  - NUST university
N1  - Supervisor: Dr. Osman Hassan
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8691
ER  -