(1)
Bendík, J.; Meel, K. S. Counting Maximal Satisfiable Subsets. AAAI 2021, 35, 3651-3660.