Bendík, Jaroslav, and Kuldeep S. Meel. “Counting Maximal Satisfiable Subsets”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 5 (May 18, 2021): 3651-3660. Accessed April 18, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/16481.