Improving Sequential ATPG Using SAT Methods. - Prasad, Mukul R.; Hsiao, Michael S.; Jain, Jawahar (2002)