Daniel Tille, Rolf Drechsler. Incremental SAT Instance Generation for SAT-based ATPG. In Bernd Straube, Milos Drutarovský, Michel Renovell, Peter Gramata, Mária Fischerová, editors, Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), Bratislava, Slovakia, April 16-18, 2008. pages 68-73, IEEE Computer Society, 2008. [doi]
Abstract is missing.