Gennady Davydov
According to our database1,
Gennady Davydov
authored at least 3 papers
between 1992 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
1998
An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF.
Ann. Math. Artif. Intell., 1998
1992
Ann. Pure Appl. Log., 1992