Variable Elimination in Binary CSPs