Exploiting Treewidth for Projected Model Counting and its Limits

Open in new window