Lai, Y., Meel, K.S. and Yap, R.H.C. 2021. The Power of Literal Equivalence in Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3851-3859. DOI:https://doi.org/10.1609/aaai.v35i5.16503.