G. V. Davydov

Available identifiers

zbMath Open davydov.g-vMaRDI QIDQ1256440

List of research outcomes

Publication	Date of Publication	Type
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)	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/Q4203978	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4204005	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820347	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/Q5579043	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5551458	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5544308	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5579019	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5553292	1965-01-01	Paper

Research outcomes over time

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