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