The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width