TY - RPRT TI - Problems parameterized by treewidth tractable in single exponential time: a logical approach AU - MichaƂ Pilipczuk PY - 2011 UR - https://arxiv.org/abs/1104.3057 ID - 1104.3057 ER -