K. Brilliantov, V. Alferov, and I. Bliznets, “Improved Algorithms for Maximum Satisfiability and Its Special Cases”, AAAI, vol. 37, no. 4, pp. 3898-3905, Jun. 2023.