A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints.

Frank Imeson, Stephen L. Smith

Browse the full ICRA paper archive.