Improving the Held-Karp Approach with Constraint Programming