On the Sparsity of XORs in Approximate Model Counting. - Durgesh Agrawal; Bhavishya; Kuldeep S. Meel (SAT, 2020)