Cranston, Daniel W., and Landon Rabern. 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.