Lamya G. Ali, Aziza I. Hussein, Hanafy M. Ali. Parallelization of unit propagation algorithm for SAT-based ATPG of digital circuits. In 28th International Conference on Microelectronics, ICM 2016, Giza, Egypt, December 17-20, 2016. pages 184-188, IEEE, 2016. [doi]
Abstract is missing.