Brilliantov, K., Alferov, V., & Bliznets, I. (2023). Improved Algorithms for Maximum Satisfiability and Its Special Cases. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 3898-3905. https://doi.org/10.1609/aaai.v37i4.25503