Solving Temporal Problems Using SMT: Strong Controllability