Ivan Bliznets
4 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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)