Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics.

Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao

Browse the full ASPDAC paper archive.