Bliznets, Ivan

4 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

IJCAI 2022 Fine-Grained Complexity of Partial Minimum Satisfiability Ivan Bliznets, Danil Sagunov, Kirill Simonov

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