Parallelization of travelling salesman problem using PyCSP