Gennady Davydov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

3 Gennady Davydov, Inna Davydova: Towards logical operations research - propositional case. Ann. Pure Appl. Logic 113(1-3): 95-119 (2001)

1998

2 Gennady Davydov, Inna Davydova, Hans Kleine Büning: An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF. Ann. Math. Artif. Intell. 23(3-4): 229-245 (1998)

1992

1 Gennady Davydov, Inna Davydova: Tautologies and Positive Solvability of Linear Homogeneous Systems. Ann. Pure Appl. Logic 57(1): 27-43 (1992)

	2001
3		Gennady Davydov, Inna Davydova: Towards logical operations research - propositional case. Ann. Pure Appl. Logic 113(1-3): 95-119 (2001)
	1998
2		Gennady Davydov, Inna Davydova, Hans Kleine Büning: An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF. Ann. Math. Artif. Intell. 23(3-4): 229-245 (1998)
	1992
1		Gennady Davydov, Inna Davydova: Tautologies and Positive Solvability of Linear Homogeneous Systems. Ann. Pure Appl. Logic 57(1): 27-43 (1992)

Coauthor Index