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.

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

  3. 2023

  4. OBDD(Join) Proofs Cannot Be Balanced.

    Ovcharov, S., 21 авг 2023, стр. 72:1-72:13. 13 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

ID: 45579384