Давыдов Геннадий Валентинович

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

1. Числовые представления выполнимости
   
   Зап. научн. сем. ПОМИ, 241 (1997),  72–96
2. О разрешимости системы $Ax=0$, $х\ge0$, с неопределенными коэффициентами
   
   Изв. вузов. Матем., 1990, № 9,  85–88
3. Потоковая интерпретация $NP$-полных задач
   
   Изв. вузов. Матем., 1988, № 12,  59–62
4. Недревовидные покрытия в дискретной оптимизации
   
   Изв. вузов. Матем., 1988, № 3,  66–69
5. Двойственный критерий оптимальности в переборных задачах
   
   Изв. вузов. Матем., 1985, № 1,  57–59
6. Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  10–13
7. Синтез метода резолюций с обратным методом
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  24–35
8. Машинный алгорифм установления выводимости на основе обратного метода
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  8–19
9. Некоторые замечания о поиске вывода в исчислении предикатов
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  8–20
10. О корректировании недоказуемых формул
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  18–29
11. Метод установления выводимости в классическом исчислении предикатов
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  8–17


12. Николай Александрович Шанин (некролог)
    
    УМН, 68:4(412) (2013),  173–176
13. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
    
    УМН, 56:3(339) (2001),  181–184
14. Сергей Юрьевич Маслов (некролог)
    
    УМН, 39:2(236) (1984),  129–130