Instance Generation for SAT-based ATPG.

Daniel Tille, Grschwin Fey, Rolf Drechsler

Browse the full DDECS paper archive.