(1)
Lai, Y.; Meel, K. S.; Yap, R. H. C. The Power of Literal Equivalence in Model Counting. AAAI 2021, 35, 3851-3859.