Alferov, V., & Bliznets, I. (2021). New Length Dependent Algorithm for Maximum Satisfiability Problem. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3634-3641. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16479