Treewidth in verification: Local vs. global. (2005)

by A Ferrara, G Pan, M Y Vardi
Venue:In LPAR,