Toward an efficient, highly scalable maximum clique solver for massive graphs | IEEE Conference Publication | IEEE Xplore