An ant algorithm for solving the four-coloring map problem | IEEE Conference Publication | IEEE Xplore