Logic-geometric programming: an optimization-based approach to combined task and motion planning
FFRob: An Efficient Heuristic for Task and Motion Planning