Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics | IEEE Conference Publication | IEEE Xplore