Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning | IEEE Journals & Magazine | IEEE Xplore