Fast global optimality verification in 3D SLAM | IEEE Conference Publication | IEEE Xplore