Don't cares based dynamic test vector compaction in SAT-ATPG. - Kareem Habib; Mona Safar; Mohamed Dessouky; Ashraf Salem (MWSCAS, 2014)