Ivan Bliznets
4 papers · 2021–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Research topics
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