Brilliantov, Kirill, Vasily Alferov, and Ivan Bliznets. 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.