CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number Representation | IEEE Journals & Magazine | IEEE Xplore