The Complexity of Reasoning with Global Constraints

Open in new window