Статьи, доклады и постеры

Annual ACM Symposium on Theory of Computing (STOC 2021)

Annual ACM Symposium on Theory of Computing (STOC 2021)

28th International Conference on Computer Science Logic (CSL 2020)

ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)

33rd Computational Complexity Conference (CCC 2018)

34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)

Theory and Applications of Satisfiability Testing (SAT 2017)

41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)

27th International Symposium on Algorithms and Computation (ISAAC 2016)

26th International Symposium on Algorithms and Computation (ISAAC 2015)

10th International Computer Science Symposium in Russia (CSR 2015)

Proof Complexity, Banff, Canada, 2020

SODA 2019, San Diego, USA, 2019

Theory and Practice of Satisfiability Solving, Oaxaca, Mexico, 2018

Proof Complexity Workshop, FLOC, Oxford, UK, 2018

MFCS 2016, Krakow, Poland, 2016

ISAAC 2016, Sydney, Australia, 2016

ISAAC 2015, Nagoya, Japan, 2015

ELC Mini Workshop, Tokyo, Japan, 03.12.2015

CSR 2015, Irkutsk, Russia, 2015

Franco-Russian workshop on Algorithms, complexity and applications, Moscow, Russia, 2013

Eighth International Conference on Computability, Complexity and Randomness (CCR 2013), Moscow, Russia, 2013

Discrete Mathematics seminar, Saint Petersburg, 2011

Foundations of Computational Mathematics, том 2022, страницы 1-97, 2022

Transformative Dialogues: Teaching and Learning Journal, том 14, страницы 1-10, 2022

ACM Transactions on Computational Logic, том 22(4), страницы 26:1-26:30, 2021

SIGACT News, том 52, страницы 46--70, 2021

Journal of Symbolic Logic, том 85, страницы 1-41, 2020

Journal of Computer and System Sciences, том 96, страницы 107-119, 2018

Journal of Mathematical Sciences, том 188, страницы 59-69, 2013

ArXiv, abs/2011.04259, 2020

Electronic Colloquium on Computational Complexity (ECCC), 155, 2020

Electronic Colloquium on Computational Complexity (ECCC), 001, 2019

CoRR, abs/1801.04641, 2018

Electronic Colloquium on Computational Complexity (ECCC), 041, 2018

Electronic Colloquium on Computational Complexity (ECCC), 177, 2018

Electronic Colloquium on Computational Complexity (ECCC), 176, 2017

Electronic Colloquium on Computational Complexity (ECCC), 179, 2017

Electronic Colloquium on Computational Complexity (ECCC), 119, 2016

Electronic Colloquium on Computational Complexity (ECCC), 174, 2015

Electronic Colloquium on Computational Complexity (ECCC), 178, 2014

Electronic Colloquium on Computational Complexity (ECCC), 037, 2013