Fixed-parameter algorithms for DAG Partitioning

We complement our algorithms by lower bounds on the running time of exact algorithms and on the effectivity of data reduction.