9532 search results - page 226 / 1907 » Logic, Graphs, and Algorithms |
147
click to vote
GD
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. When adjusting a graph layout, it is often desirable to preserve various properties of the original graph in the adjusted view. Pertinent properties may include straightn...
187
click to vote
CSL
2007
Springer
16 years 4 days ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
