van Bremen, T.; Derkinderen, V.; Sharma, S.; Roy, S.; Meel, K. S. Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI 2021, 35, 3922-3930.