Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta: SAT based timing analysis for fixed and rise/fall gate delay models. Integr. 45(4): 357-364 (2012)