Treewidth in Verification: Local vs. Global (2005)

by Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
Venue:In LPAR 2005