J. Bendík and K. S. Meel, “Counting Maximal Satisfiable Subsets”, AAAI, vol. 35, no. 5, pp. 3651–3660, May 2021.