A Four-Colorable Algorithm for Planar Graph Based on Path Homotopy Search | IEEE Conference Publication | IEEE Xplore