New Length Dependent Algorithm for Maximum Satisfiability Problem. - Vasily Alferov; Ivan Bliznets (AAAI, 2021)

On the Satisfiability of Smooth Grid CSPs. - Vasily Alferov; Mateus de Oliveira Oliveira (SEA, 2022)

Improved Algorithms for Maximum Satisfiability and Its Special Cases. - Kirill Brilliantov; Vasily Alferov; Ivan Bliznets (AAAI, 2023)

Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph. - Vasily Alferov; Ivan Bliznets; Kirill Brilliantov (AAAI, 2024)