Alferov, V.; Bliznets, I. New Length Dependent Algorithm for Maximum Satisfiability Problem. AAAI 2021, 35, 3634-3641.