Y. Lai, K. S. Meel, and R. H. C. Yap, “The Power of Literal Equivalence in Model Counting”, AAAI, vol. 35, no. 5, pp. 3851-3859, May 2021.