Davydov Gennadii Valentinovich

Publications in Math-Net.Ru

1. Number representations of satisfiability
   
   Zap. Nauchn. Sem. POMI, 241 (1997),  72–96
2. Solvability of the system $Ax=0$, $x\ge0$, with indeterminate coefficients
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1990, no. 9,  85–88
3. A flow interpretation of $NP$-complete problems
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 12,  59–62
4. Non-tree-like coverings in discrete optimization
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 3,  66–69
5. A dual criterion of optimality in sorting problems
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1985, no. 1,  57–59
6. A reduction of proposittional tautologihood to graph-coloring in three colors
   
   Zap. Nauchn. Sem. LOMI, 40 (1974),  10–13
7. A synthesis of the resolution method and the inverse method
   
   Zap. Nauchn. Sem. LOMI, 20 (1971),  24–35
8. A computer algorithm for establishing deducibility, based on the inverse method
   
   Zap. Nauchn. Sem. LOMI, 16 (1969),  8–19
9. Some notes on proof searching in predicate calculus
   
   Zap. Nauchn. Sem. LOMI, 8 (1968),  8–20
10. On correction of unprovable formulae
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  18–29
11. A proof method for the classical predicate calculus
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  8–17


12. Nikolai Aleksandrovich Shanin (obituary)
    
    Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176
13. Nikolai Aleksandrovich Shanin (on his 80th birthday)
    
    Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184
14. Sergei Yur'evich Maslov (obituary)
    
    Uspekhi Mat. Nauk, 39:2(236) (1984),  129–130