van Bremen, Timothy, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, and Kuldeep S. Meel. 2021. “Symmetric Component Caching for Model Counting on Combinatorial Instances”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3922-30. https://doi.org/10.1609/aaai.v35i5.16511.