| |
| 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) | |
| 1 | Hans Kleine Büning | [2] |
| 2 | Inna Davydova | [1] [2] [3] |