Artificial neural networks for four-coloring map problems and K-colorability problems | IEEE Journals & Magazine | IEEE Xplore