Efficient information-theoretic graph pruning for graph-based SLAM with laser range finders | IEEE Conference Publication | IEEE Xplore