Solving Temporal Problems using SMT: Strong Controllability