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

Yury Yarovikov, Maksim Zhukovskii
Spectrum of FO Logic with Quantifier Depth 4 is Finite. ACM Trans. Comput. Log. 25 (2) (2024)
Margarita Akhmejanova, Konstantin Olmezov, Aleksei Volostnov, Ilya Vorobyev, Konstantin V. Vorob'ev, Yury Yarovikov
Wiener index and graphs, almost half of whose vertices satisfy Šoltés property. Discret. Appl. Math. 325 (2023)
Andrey Kupavskii, Aleksei Volostnov, Yury Yarovikov
Minimum number of partial triangulations. Eur. J. Comb. 108 (2023)