25 search results - page 1 / 5 » gd 2009 |
120
Voted
GD
2009
Springer
15 years 6 months ago
2009
Springer
105
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
70
Voted
GD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the problem how to obtain a small drawing of a 3
135
click to vote
GD
2009
Springer
15 years 6 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...
96
Voted
ALT
2009
Springer
16 years 16 days 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...