k-coloring vertices using a neural network with convergence to valid solutions | IEEE Conference Publication | IEEE Xplore