A Graph Partitioning Approach for Fast Exploration with Multi-Robot Coordination | IEEE Conference Publication | IEEE Xplore