Результаты

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

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

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

ID: 33858017