Finding Bounded Path in Graph Using SMT for Automatic Clock Routing. - Amit Erez; Alexander Nadel (CAV (2), 2015)