Samir Datta Nutan Limaye Prajakta Nimbhorkar 3-connected Planar Graph Isomorphism is in Log-space http://arxiv.org/abs/0806.1041 2008 CoRR abs/0806.1041 db/journals/corr/corr0806.html#abs-0806-1041 informal publication