Vsevolod Vaskin

According to our database, Vsevolod Vaskin authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Simplifier: A New Tool for Boolean Circuit Simplification.

Daniil Averkov, Gregory Emdin, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Alexander Smal, Vsevolod Vaskin

CoRR, March, 2025

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis.

Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Optimizing substructure search: a novel approach for efficient querying in large chemical databases.

Vsevolod Vaskin, Dmitri Jakovlev, Fedor Bakharev

CoRR, 2023