The following publications are possibly variants of this publication:
- SAT-based analysis of sensitisable pathsMatthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker. ddecs 2011: 93-98 [doi]
- Efficient SAT-based dynamic compaction and relaxation for longest sensitizable pathsMatthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker. date 2013: 448-453 [doi]
- Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig InterpolationMatthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker. vlsid 2012: 382-387 [doi]