sign in · help · news · about ·

BibSonomy :: author :: Davydova ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(3)

<< < 1 > >>

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

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper