Laurent Lyaudet Pascal Koiran Uffe Flarup On the expressive power of planar perfect matching and permanents of bounded treewidth matrices http://arxiv.org/abs/0705.3751 2007 CoRR abs/0705.3751 db/journals/corr/corr0705.html#abs-0705-3751 informal publication