SAT based ATPG using fast justification and propagation in the implication graph.

Paul Tafertshofer, Andreas Ganz

Browse the full ICCAD paper archive.