D. W. Cranston and L. Rabern, “Planar Graphs have Independence Ratio at least 3/13”, Electron. J. Combin., vol. 23, no. 3, p. P3.45, Sep. 2016.