Independent sets in triangle-free cubic planar graphs

We prove that every triangle-free planar graph on n vertices with maximum degree three has an independent set with size at least . This was suggested and later conjectured by Albertson, Bollobás, and Tucker.