Bendík, J. and Meel, K. S. (2021) “Counting Maximal Satisfiable Subsets”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), pp. 3651-3660. doi: 10.1609/aaai.v35i5.16481.