Konstantin Korovin

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 35

Top Topics

Driven Learning

Modulo Theories

Quantifier Elimination

Linear Constraints

Top Venues

Publications