Login / Signup
Sandra Kiefer
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 36
Top Topics
Quantifier Free
Directed Acyclic
Upper Bound
Planar Graphs
Top Venues
CoRR
ICALP
LICS
ACM SIGLOG News
</>
Publications
</>