Результаты

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

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

  2. Bounded-depth frege complexity of tseitin formulas for all graphs

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

Просмотреть все (2) »

ID: 45858484