1.
van Bremen T, Derkinderen V, Sharma S, Roy S, Meel KS. Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI [Internet]. 2021May18 [cited 2024Mar.29];35(5):3922-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16511