Login / Signup
Svyatoslav Korneev
ORCID
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 10
Top Topics
Modal Logic
Multiscale
Conjunctive Queries
Shape Estimation
Top Venues
CoRR
Comput. Aided Des.
SAT
ACC
</>
Publications
</>