On the Sparsity of XORs in Approximate Model Counting.

Durgesh Agrawal, Bhavishya, Kuldeep S. Meel

Browse the full SAT paper archive.