How treewidth helps in verification

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

Abstract

Abstract is missing.