The following publications are possibly variants of this publication:
- SAT-Based Analysis of Sensitizable PathsMatthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker. dt, 30(4):81-88, 2013. [doi]
- On Optimal Power-Aware Path SensitizationMatthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian. ats 2016: 179-184 [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]