The Target Visitation Problem (TVP) combines the Traveling Salesman Problem and the Linear Ordering Problem, and thus serves as a natural model for route planning applications where both the travel costs and the order of the sites to visit matter. More precisely, in addition to the costs that apply for the selected links connecting two subsequently visited sites, the relative urgency of visiting one site before another is quantified and taken into account. In this article, we present refined integer linear programming formulations for the TVP, along with clarifications and extensions regarding the description of the polytopes associated with their feasible solution sets by a minimal set of linear equations and facet-defining inequalities. The practical effectiveness of exploiting the proposed improvements by means of a branch-and-cut algorithm is demonstrated in a computational study. In addition, we report the optimal values for some previously unsolved instances.