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