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

Research Output

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