Login / Signup
Inna Davydova
Publication Activity (10 Years)
Years Active: 1992-2001
Publications (10 Years): 0
</>
Publications
</>
Gennady Davydov
,
Inna Davydova
Towards logical operations research - propositional case.
Ann. Pure Appl. Log.
113 (1-3) (2001)
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) (1998)
Gennady Davydov
,
Inna Davydova
Tautologies and Positive Solvability of Linear Homogeneous Systems.
Ann. Pure Appl. Log.
57 (1) (1992)