Alexander Semenov
3 papers
· 2022–2026
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (3)
Top co-authors
Keywords
sat solver
(3)
backdoor set
(2)
boolean satisfiability
(1)
constraint satisfaction
(1)
probabilistic model
(1)
error correction
(1)
monte carlo method
(1)
constraint solver
(1)
sat solving
(1)
monte carlo approximation
(1)
metaheuristic optimization
(1)
penalty method
(1)
binary linear code
(1)
combinatorial optimization
(1)
code construction
(1)
probabilistic algorithms
(1)