Bucket elimination: a unifying framework for reasoning
Backtracking Algorithms for Constraint Satisfaction Problems - a Tutorial Survey