Heuristics for finding large independent sets, with applications to coloring semi-random graphs | IEEE Conference Publication | IEEE Xplore