Результаты

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) »