Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker. Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. In Vishwani D. Agrawal, Srimat T. Chakradhar, editors, 25th International Conference on VLSI Design, VLSID 2012, Hyderabad, India, January 7-11, 2012. pages 382-387, IEEE, 2012. [doi]