Alferov, V. and Bliznets, I. (2021) “New Length Dependent Algorithm for Maximum Satisfiability Problem”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), pp. 3634-3641. doi: 10.1609/aaai.v35i5.16479.