Login / Signup
Mikolás Janota
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 54
Top Topics
Query Complexity
Programming Assignments
E Learning
Quantified Boolean Formulas
Top Venues
CoRR
SAT
SMT
CP
</>
Publications
</>