Luís Guerra e Silva, João P. Marques Silva, Luís Miguel Silveira, Karem A. Sakallah. Timing analysis using propositional satisfiability. In 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 . pages 95-98, IEEE, 1998. [doi]
Abstract is missing.