Ivan Bliznets
4 papers · 2021–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
Conferences
AAAI (3)
IJCAI (1)
Keywords
maximum satisfiability
(4)
parameterized algorithm
(2)
exact algorithm
(2)
combinatorial optimization
(2)
exponential algorithm
(1)
exponential time
(1)
runtime bound
(1)
gallai-edmonds decomposition
(1)
variable-clause graph
(1)
worst-case complexity
(1)
fine-grained complexity
(1)
branch and bound
(1)
parameterized complexity
(1)
Papers
Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph
AAAI 2024
Improved Algorithms for Maximum Satisfiability and Its Special Cases
AAAI 2023
Fine-grained Complexity of Partial Minimum Satisfiability
IJCAI 2022
New Length Dependent Algorithm for Maximum Satisfiability Problem
AAAI 2021