Artur Riazanov's homepage
I am a PhD student in St. Petersburg Department of Steklov Mathematical Institute advised by Dmitry Itsykson. My main research area is proof complexity.
I am a PhD student in St. Petersburg Department of Steklov Mathematical Institute advised by Dmitry Itsykson. My main research area is proof complexity.
with Dmitry Itsykson. To appear in proceedings of MFCS 2022. ECCC version.
with Dmitry Itsykson and Petr Smirnov. Accepted to SAT 2022.
with Dmitry Itsykson. In proceedings of CCC21. ECCC version.
with Nicola Galesi, Dmitry Itsykson, and Anastasia Sofronova. In proceedings of MFCS19. ECCC version.
In proceedings of CSR18.
with Sam Buss, Dmitry Itsykson, Alexander Knop, and Dmitry Sokolov. Accepted to ToCL. ECCC version.
with Dmitry Itsykson, Danil Sagunov, and Petr Smirnov. Computational Complexity. ECCC version.
My email
aariazanov at gmail dot com.
© 2021