Lai, Yong, Kuldeep S. Meel, and Roland H. C. Yap. 2021. “The Power of Literal Equivalence in Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3851-59. https://doi.org/10.1609/aaai.v35i5.16503.