How treewidth helps in verification

C. Aiswarya. How treewidth helps in verification. SIGLOG News, 9(1):6-21, 2022. [doi]

Authors

C. Aiswarya

This author has not been identified. Look up 'C. Aiswarya' in Google