Multi-bound tree search for logic-geometric programming in cooperative manipulation domains | IEEE Conference Publication | IEEE Xplore