In this paper, we deal with hamiltonicity in planar cubic graphs G having a
facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the
algorithmic complexity of finding such (quasi) spanning trees of faces.
Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in
3-connected planar cubic bipartite graphs is an NP-complete problem.