Principles of Constraint Programming by Krzysztof Apt