Lai, Y., K. S. Meel, and R. H. C. Yap. “The Power of Literal Equivalence in Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5, May 2021, pp. 3851-9, doi:10.1609/aaai.v35i5.16503.