Результаты

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

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

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

ID: 33858017