Gennady Davydov

According to our database, Gennady Davydov authored at least 3 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Towards logical operations research - propositional case.

Gennady Davydov, Inna Davydova

Ann. Pure Appl. Log., 2001

1998

An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF.

Gennady Davydov, Inna Davydova, Hans Kleine Büning

Ann. Math. Artif. Intell., 1998

1992

Tautologies and Positive Solvability of Linear Homogeneous Systems.

Gennady Davydov, Inna Davydova

Ann. Pure Appl. Log., 1992