KOLMAN, P.; KOUTECKÝ, M. Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth. The Electronic Journal of Combinatorics, v. 22, n. 4, p. P4.30, 27 Nov. 2015.