bipartite keyword tag · 1 problem Title Source Status Imp. Posted Barnette's Conjecture opg ai-proved ★★★ 2007-06-12