A domination algorithm for {0,1}-instances of the travelling salesman problem ...