A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints | IEEE Conference Publication | IEEE Xplore