The complexity of constraint languages - Cohen, D; Jeavons, P (2006)