Henning, Michael A., Christian Löwenstein, Justin Southey, and Anders Yeo. 2014. “A New Lower Bound on the Independence Number of a Graph and Applications”. The Electronic Journal of Combinatorics 21 (1), #P1.38. https://doi.org/10.37236/3601.