Principles and practice of constraint programming: the newport papers - Saraswat, Vijay; Van Hentenryck, Pascal (The MIT Press, 1995)