1 - 2 из 2Размер страницы: 10
Сортировать по:: Год публикации
  1. 2024

  2. Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space

    Gryaznov, S., Ovcharov, S. & Riazanov, A., 30 сен 2024, в: ACM Transactions on Computation Theory. 16, 3, 15 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. 2019

  4. 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).

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

ID: 45858484