Artur Riazanov
Author
Alternate names Artur Riazanov, А В Рязанов
Institution École Polytechnique Fédérale de Lausanne
Past institutions École Polytechnique Fédérale de Lausanne, St. Petersburg Department of Steklov Institute of Mathematics, Russian Academy of Sciences, Saint Petersburg Academic University
ORCID: Yes
H-index: 3
I10-index:
Works count: 22
Citations count: 16
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
2019 · Nicola Galesi, Dmitry Itsykson, et al. · Mathematical Foundations of Computer Science
Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs
2021 · Dmitry Itsykson, Artur Riazanov, et al. · Computational Complexity
Proof complexity of natural formulas via communication arguments
2021 · Dmitry Itsykson, Artur Riazanov