Exact TSP solver