BM.5832.2019 Современная математика

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

  • 1 статья в сборнике материалов конференции
  • 1 статья
  • 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).

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