V. Alferov and I. Bliznets, “New Length Dependent Algorithm for Maximum Satisfiability Problem”, AAAI, vol. 35, no. 5, pp. 3634-3641, May 2021.