Matthias Sauer, Bernd Becker, Ilia Polian. PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. IEEE Transactions on Computers, 65(6):1869-1881, 2016. [doi]
@article{SauerBP16,
title = {PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization},
author = {Matthias Sauer and Bernd Becker and Ilia Polian},
year = {2016},
doi = {10.1109/TC.2015.2458869},
url = {http://doi.ieeecomputersociety.org/10.1109/TC.2015.2458869},
researchr = {https://researchr.org/publication/SauerBP16},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {65},
number = {6},
pages = {1869-1881},
}