Text this: Principles of constraint programming Krzysztof R. Apt. [electronic resource] /