Solving Projected Model Counting by Utilizing Treewidth and its Limits

Open in new window