van Bremen, T., Derkinderen, V., Sharma, S., Roy, S., & Meel, K. S. (2021). Symmetric Component Caching for Model Counting on Combinatorial Instances. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3922-3930. https://doi.org/10.1609/aaai.v35i5.16511