Concepedia
2
Publications
106
Citations
H-Index
1992
Active since
Affiliations
Russian Academy of Sciences(Current)
Inna Davydova is an author at Russian Academy of Sciences.
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