Результаты

1. On Limits of Symbolic Approach to SAT Solving

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

2. Computational and Proof Complexity of Partial String Avoidability

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

3. On obdd-based algorithms and proof systems that dynamically change the order of variables

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

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