Результаты

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

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

2. On Limits of Symbolic Approach to SAT Solving

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

3. OBDD(Join) Proofs Cannot Be Balanced.

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

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