On Solving Exactly and Approximately the Sum Coloring of Graphs | IEEE Conference Publication | IEEE Xplore