Concepedia
2
Publications
106
Citations
H-Index
1992
Active since
Affiliations
All-Russian Research Institute for Optical and Physical Measurements(Current)
G. V. Davydov is an author at All-Russian Research Institute for Optical and Physical Measurements.
Publications per year
1992–1998
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
G. V. Davydov, Inna Davydova, Hans Kleine Büning · Annals of Mathematics and Artificial Intelligence · 1998 · 94 citations
Tautologies and positive solvability of linear homogeneous systems
G. V. Davydov, Inna Davydova · Annals of Pure and Applied Logic · 1992 · 12 citations
Linear System, Linear Homogeneous Systems, Discrete Integrable System +1
Rows per page
1–2 of 2