No photo of Anastasiia Sofronova

Anastasiia Sofronova

  • 1 Citations
  • 1 h-Index
20192019

Research output per year

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

Research Output

  • 1 Citations
  • 1 h-Index
  • 1 статья в сборнике материалов конференции
2019

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

1 Citation (Scopus)