Mathematical logic in discrete optimization and linear systems, mathematical models of economics.
Biography
Institute of Graduation — Leningrad State University, 1961, with Discipline of Graduation as Mathematics.
1961–1972 — assistent professor on faculty of economics of Leningrad State University.
From 1972 till today — professor of faculty of Mathematics and Mechanics of St. Petersburg State University.
Full publication list contains of 43 items.
Main publications:
Davydov G., Davydova I. Dual algorithms in discrete optimization. Amer. Math. Soc. Transl. (2). V. 178. 1996. P. 79–101.
Davydov G., Davydova I. Tautologies and positive solvability of linear homogeneous systems // Ann. Pure Appl. Logic. V. 57. 1992. P. 27–43.
Davydov G. V., Davydova I. M. Number Representations of Satisfiability // J. Math. Sci. A Translation of Selected Russian-Language Serial Publications in Mathematics. V. 98, no. 4. February, 2000. P. 464–477.
Davydov G., Davydova I., Kleine B'uning H. An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF // Annals of Mathematics and Artifical Intelligence. V. 23. 1998. P. 229–245.
Davydov G., Davydova I. Towards logical operatios research — propositional case // Ann. Pure Appl. Logic. V. 113, no. 1–3. 2001. P. 95–119.
G. V. Davydov, I. M. Davydova, “Number representations of satisfiability”, Zap. Nauchn. Sem. POMI, 241 (1997), 72–96; J. Math. Sci. (New York), 98:4 (2000), 464–478
G. V. Davydov, I. M. Davydova, “Solvability of the system $Ax=0$, $x\ge0$, with indeterminate coefficients”, Izv. Vyssh. Uchebn. Zaved. Mat., 1990, no. 9, 85–88; Soviet Math. (Iz. VUZ), 34:9 (1990), 108–112
1988
3.
G. V. Davydov, I. M. Davydova, “A flow interpretation of $NP$-complete problems”, Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 12, 59–62; Soviet Math. (Iz. VUZ), 32:12 (1988), 96–101
4.
G. V. Davydov, I. M. Davydova, “Non-tree-like coverings in discrete optimization”, Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 3, 66–69; Soviet Math. (Iz. VUZ), 32:3 (1988), 93–97
1985
5.
G. V. Davydov, I. M. Davydova, “A dual criterion of optimality in sorting problems”, Izv. Vyssh. Uchebn. Zaved. Mat., 1985, no. 1, 57–59; Soviet Math. (Iz. VUZ), 29:1 (1985), 73–77
Contact us: