Нет фото Анастасия Александровна Софронова

Софронова Анастасия Александровна

  • 0 всего цитирований публикаций, внесённых в Pure
  • 0 h-индекс по публикациям в Pure
20192019

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Результаты исследований

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

Bounded-depth frege complexity of tseitin formulas for all graphs

Galesi, N., Itsykson, D., Riazanov, A. & Sofronova, A., авг 2019, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J-P., Heggernes, P. & Rossmanith, P. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; том 138).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование