Exhaustiveness Does Not Necessarily Mean Better: Selective Task Planning for Multi-robot Systems | IEEE Conference Publication | IEEE Xplore