Cranston, D. W., & Rabern, L. (2016). Planar Graphs have Independence Ratio at least 3/13. The Electronic Journal of Combinatorics, 23(3), P3.45. https://doi.org/10.37236/5309