An efficient diagnostic test pattern generation framework using boolean satisfiability
F. Zheng, Cheng, K. - T. Tim, Yan, X., Moondanos, J., and Hanna, Z.,
“An efficient diagnostic test pattern generation framework using boolean satisfiability”, in
Asian Test Symposium, 2007. ATS'07. 16th, 2007.