Solving weighted and counting variants of connectivity problems parameterized by treewidth deterministically in single exponential time - Bodlaender, Hans L.; Cygan, Marek; Kratsch, Stefan; Nederlof, Jesper (CoRR, 2012)