Mixed-integer Programming Based Approaches for the Movement Planner Problem: Model , Heuristics and Decomposition Bamboo@Tsinghua