Yury Yarovikov

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Quantifier Elimination

Connected Subgraphs

Top Venues

ACM Trans. Comput. Log.

Discret. Appl. Math.

Publications