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