AIAA/SOLVER - A branch-and-cut approach to the AI variant of the traveling salesman problem