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

    Gryaznov, S., Ovcharov, S. & Riazanov, A., 30 Sep 2024, In: ACM Transactions on Computation Theory. 16, 3, 15 p.

    Research output: Contribution to journalArticlepeer-review

  3. Энергетически эффективная аппроксимация винеровского процесса при односторонних ограничениях

    Лифшиц, М. А. & Никитин, С. Е., 20 Jan 2024, In: ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЕЕ ПРИМЕНЕНИЯ. 69, 1, p. 76-90 15 p.

    Research output: Contribution to journalArticlepeer-review

  4. 2023
  5. OBDD(Join) Proofs Cannot Be Balanced.

    Ovcharov, S., 21 Aug 2023, p. 72:1-72:13. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  6. Различные метрики в задаче об идеалах H^inf

    Скворцов, А. А. & Кисляков, С. В., 31 Jul 2023, In: АЛГЕБРА И АНАЛИЗ. 35, 5, p. 99-116 18 p.

    Research output: Contribution to journalArticlepeer-review

  7. 2022
  8. FIXED POINT THEOREMS AND HARDY CLASSES

    Скворцов, А. А. & Кисляков, С. В., 30 Jun 2022, In: Journal of Mathematical Sciences. 282, 4, p. 516-529

    Research output: Contribution to journalArticle

ID: 108109219