Lamya G. Ali

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Search Algorithm

Simulated Annealing

Digital Circuits

Top Venues

Publications

Lamya G. Ali, Aziza I. Hussein, Hanafy M. Ali
Parallelization of unit propagation algorithm for SAT-based ATPG of digital circuits. ICM (2016)