No photo of Anastasiia Sofronova

Anastasiia Sofronova

  • 0 Citations
  • 0 h-Index

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 1 статья в сборнике материалов конференции

Bounded-depth frege complexity of tseitin formulas for all graphs

Galesi, N., Itsykson, D., Riazanov, A. & Sofronova, A., Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J-P., Heggernes, P. & Rossmanith, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 138).

Research outputpeer-review