Accurate timing analysis using SAT and pattern-dependent delay models. - Desta Tadesse; D. Sheffield; E. Lenge; R. Iris Bahar; Joel Grodstein (DATE, 2007)