2911 search results - page 26 / 583 » A Logic of Graph Constraints |
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
CJ
2008
15 years 23 days ago
2008
We evaluate the average-case performance of three approximation algorithms for online non-clairvoyant scheduling of parallel tasks with precedence constraints. We show that for a ...
103
Voted
DAM
2008
15 years 22 days ago
2008
: In this paper, we study a new problem of convex drawing of planar graphs with non-convex boundary constraints. It is proved that every triconnected plane graph whose boundary is ...
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...
100
Voted
IJCAI
2001
15 years 2 months ago
2001
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...