Digital circuit evolution using sat solver - Mumtaz Ali (Islamabad NUST university, 2013)
Supervisor: Dr. Osman Hassan