Incremental SAT Instance Generation for SAT-based ATPG.

Daniel Tille, Rolf Drechsler

Browse the full DDECS paper archive.