Ицыксон Дмитрий Михайлович

Публикации в базе данных Math-Net.Ru

1. The complexity of inversion of explicit Goldreich's function by DPLL algorithms
   
   Зап. научн. сем. ПОМИ, 399 (2012),  88–108
2. Optimal heuristic algorithms for the image of an injective function
   
   Зап. научн. сем. ПОМИ, 399 (2012),  15–31
3. Бесконечно часто односторонняя функция, основанная на предположении о сложности в среднем
   
   Алгебра и анализ, 21:3 (2009),  130–144
4. Нижние оценки на длину вывода цейтинских формул в статической системе доказательств Ловаса–Схрайвера
   
   Зап. научн. сем. ПОМИ, 340 (2006),  10–32