TY - RPRT TI - Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth AU - Petr Kolman AU - Martin Koutecký PY - 2015 UR - https://arxiv.org/abs/1502.05361 ID - 1502.05361 ER -