4 papers:
DATE-2013-SauerRSPB #performance #satisfiability- Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths (MS, SR, TS, IP, BB), pp. 448–453.
DAC-1993-ChangA #named #performance- VIPER: An Efficient Vigorously Sensitizable Path Extractor (HC, JAA), pp. 112–117.
- DAC-1991-JuS #identification #incremental
- Incremental Techniques for the Identification of Statically Sensitizable Critical Paths (YCJ, RAS), pp. 541–546.
- DAC-1989-PerremansCM #analysis
- Static Timing Analysis of Dynamically Sensitizable Paths (SP, LJMC, HDM), pp. 568–573.
