Alferov, Vasily

3 publications

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

AAAI 2023 Improved Algorithms for Maximum Satisfiability and Its Special Cases Kirill Brilliantov, Vasily Alferov, Ivan Bliznets

AAAI 2021 New Length Dependent Algorithm for Maximum Satisfiability Problem Vasily Alferov, Ivan Bliznets