1 - 7 out of 7Page size: 10
  1. 2024

  2. Оценки в задаче об идеалах алгебры H^inf

    Скворцов, А. А., 28 Nov 2024, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 537, p. 116-127 11 p.

    Research output: Contribution to journal › Article

  3. 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., 3.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  5. On Limits of Symbolic Approach to SAT Solving

    Itsykson, D., Ovcharov, S., Chakraborty, S. (ed.) & Jiang, J-HR. (ed.), 2024.

    Research output: Contribution to conference › Paper › peer-review

  6. 2023

  7. OBDD(Join) Proofs Cannot Be Balanced.

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

    Research output: Contribution to conference › Paper › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  9. 2022

  10. FIXED POINT THEOREMS AND HARDY CLASSES

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

    Research output: Contribution to journal › Article

ID: 108109219