Login / Signup
Miroslav Olsák
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 35
Top Topics
Theorem Proving
Automated Reasoning
Search Space
Constraint Satisfaction
Top Venues
CoRR
TABLEAUX
J. Math. Log.
LICS
</>
Publications
</>