25 search results - page 1 / 5 » gd 2009 |
GD
2009
Springer
13 years 7 months ago
2009
Springer
SEKE
2009
Springer
13 years 11 months ago
2009
Springer
GD
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. We study the problem how to obtain a small drawing of a 3
GD
2009
Springer
13 years 7 months ago
2009
Springer
We show that recognizing intersection graphs of convex sets has the same complexity as deciding truth in the existential theory of the reals. Comparing this to similar results on t...
ALT
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...