Coloring Random Graphs: A Short Survey | IEEE Conference Publication | IEEE Xplore