Kolman, P.; Koutecký, M. Extended Formulation for CSP That Is Compact for Instances of Bounded Treewidth. Electron. J. Combin. 2015, 22, P4.30.