Contraction-based method for computing a lower bound on the clique number of a graph | IEEE Conference Publication | IEEE Xplore