T. van Bremen, V. Derkinderen, S. Sharma, S. Roy, and K. S. Meel, “Symmetric Component Caching for Model Counting on Combinatorial Instances”, AAAI, vol. 35, no. 5, pp. 3922-3930, May 2021.