3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2021★ 1 cited
Projected Model Counting: Beyond Independent Support
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
The past decade has witnessed a surge of interest in practical techniques for projected model counting. Despite significant advancements, however, performance scaling remains the A…
cs.AI2021★ 3 cited
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Mate Soos, Kuldeep S. Meel
Given a Boolean formula over the set of variables and a projection set , a subset of variables is independent support of $\mathcal{P}…