G. V. Davydov

Available identifiers

zbMath Open davydov.g-vMaRDI QIDQ1256440

List of research outcomes

Publication	Date of Publication	Type
Nikolai Aleksandrovich Shanin (obituary)	2013-12-17	Paper
Measure of formulas: Calculation and a polynomial class for satisfiability	2004-02-25	Paper
Nikolai Aleksandrovich Shanin (on his 80th birthday)	2003-08-28	Paper
Number representation of satisfiability	2000-06-06	Paper
The solvability of linear systems and the satisfiability	1998-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4866316	1996-03-04	Paper
Solvable matrices	1996-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5202846	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3793950	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820347	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4203978	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4204005	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783081	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710294	1985-01-01	Paper
A reduction of propositional tautologihood to the coloring of graphs in three colors	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128519	1974-01-01	Paper
Synthesis of the resolution method with the inverse method	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5633672	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5634868	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596257	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5598343	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5544308	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5551458	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5579019	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5579043	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5553292	1965-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: G. V. Davydov