K2: an efficient approximation algorithm for globally and locally multiply-constrained planning problems | IEEE Conference Publication | IEEE Xplore