Mikoláš Janota
7 papers
· 2013–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(13)
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(12)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🏆
Keyword Champion
(2)
🚀
Conference Pioneer
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
symmetry breaking
(2)
algebraic structure
(2)
finite model
(2)
sat solving
(2)
sat solver
(2)
maxsat solver
(1)
automated feedback
(1)
model enumeration
(1)
lexicographic ordering
(1)
fault localization
(1)
automated program repair
(1)
counterexample guided inductive synthesis
(1)
graph enumeration
(1)
sat modulo symmetries
(1)
zero-shot learning
(1)
counterexample-guided inductive synthesis
(1)
first-order logic
(1)
program repair
(1)
maxsat solving
(1)
quantified boolean formula
(1)