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