CONCAT: CONflict Driven Learning in ATPG for Industrial designs | IEEE Conference Publication | IEEE Xplore