P. Kolman and M. Koutecký, “Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth”, Electron. J. Combin., vol. 22, no. 4, p. P4.30, Nov. 2015.