DC-Reg: Globally Optimal Point Cloud Registration via Tight Bounding with Difference of Convex Programming | ScienceToStartup | ScienceToStartup