TY - RPRT TI - Solving weighted and counting variants of connectivity problems parameterized by treewidth deterministically in single exponential time AU - Hans L. Bodlaender AU - Marek Cygan AU - Stefan Kratsch AU - Jesper Nederlof PY - 2012 UR - https://arxiv.org/abs/1211.1505 ID - 1211.1505 ER -