Sciweavers

1389 search results - page 5 / 278
» Parallel Algorithms for Treewidth Two
Sort
View
GD
1998
Springer
14 years 19 days ago
Drawing Algorithms for Series-Parallel Digraphs in Two and Three Dimensions
Seok-Hee Hong, Peter Eades, Aaron J. Quigley, Sang...
FCT
2005
Springer
14 years 1 months ago
Exact Algorithms for Graph Homomorphisms
Graph homomorphism, also called H-coloring, is a natural generalization of graph coloring: There is a homomorphism from a graph G to a complete graph on k vertices if and only if ...
Fedor V. Fomin, Pinar Heggernes, Dieter Kratsch
CONCUR
2012
Springer
11 years 10 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar