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), pp. 3851-3859. doi: 10.1609/aaai.v35i5.16503.