Book

Principles of constraint programming

by Krzysztof R. Apt