A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints - Imeson, Frank; Smith, Stephen L. (Proceedings - IEEE International Conference on Robotics and Automation, 2014)
Keywords: Cities and towns; Complexity theory; Measurement; Path planning; Planning; Robots; Silicon