Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling

Mate Soos, Kuldeep S. Meel

Given a Boolean formula $\phi$ over the set of variables $X$ and a projection set $\mathcal{P}\subseteq X$, a subset of variables $\mathcal{I}$ is independent support of $\mathcal{P}…