### Table 3. Comparison over GraphBase undirected graphs.

### Table 1: The complexity status of MSt and MPSt in undirected graphs

1998

"... In PAGE 5: ... For any xed real valued t 3, MPSt is N P{complete for weighted graphs, oriented graphs, and digraphs, even if they are planar and the edge weights are restricted to be equal to 1 or 2. Table1 summarizes the results for the complexity status of the problems considered in this paper in undirected graphs. We give the complexity status for MSt with arbitrary input instances, for MPSt with arbitrary input instances, and for both problems with planar input instances2.... ..."

Cited by 16

### Table 6. Monadic-uniform transformers for graph with no undirected cycles.

2006

"... In PAGE 24: ... B.3 No Undirected Cycles The formal definition of sx;y is given using the following integrity constraint: (9vx; vy : p(x; vx) ^ :p(x; vy) ^ :p(y; vy) ^ :p(y; vx) ^ (l(vx; sx;y) _ r(vx; sx;y)) ^ (l(vy; sx;y) _ r(vy; sx;y))) $ sx;y 6 = null Table6 lists the monadic-uniform transformers for the relations in the vocabulary and the three operations. Updating program variables, fields, and reachability is the same as in trees (since both have the property of at most one path between any two nodes).... ..."

### Table 1. Exact and Approximate distance oracles for weighted undirected graphs.

2006

Cited by 6

### Table 1. Exact and Approximate distance oracles for weighted undirected graphs.

2006

Cited by 6

### Table 4: Comparison over GraphBase undirected graphs for variable and value symmetries.

2006

"... In PAGE 6: ... For variable and value symmetries, a total of 233 undirected random in- stances were treated. We evaluated variable and values sym- metries separately and then together in Table4 . This table shows that, as expected, value symmetries and variable sym- metries each increase the number of solved instances.... ..."

Cited by 2

### Table 4: Comparison over GraphBase undirected graphs for variable and value symmetries.

2006

"... In PAGE 6: ... For variable and value symmetries, a total of 233 undirected random in- stances were treated. We evaluated variable and values sym- metries separately and then together in Table4 . This table shows that, as expected, value symmetries and variable sym- metries each increase the number of solved instances.... ..."

Cited by 2