M. A. Henning, C. Löwenstein, J. Southey, and A. Yeo, “A New Lower Bound on the Independence Number of a Graph and Applications”, Electron. J. Combin., vol. 21, no. 1, p. P1.38, Feb. 2014.