This paper presents a constraint logic programming model for the traveling salesman problem with time windows which yields an exact branch-and-bound optimization algorithm without any restrictive ...

Technical Terms Inductive Logic Programming (ILP): A form of symbolic machine learning that infers generalised logic rules from specific examples and background knowledge.