Результаты исследований

1. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

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

2. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

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

3. The complexity of AND—decomposition of Boolean functions

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

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